in INTERNATIONAL JOURNAL OF INFORMATION SECURITY, ISSN: 1615-5262
Volume: 6, Issue: 2-3, Pages: 133-151 (19)
Conference
2Nd International Workshop on Formal Aspects in Security and Trust Held at the 18Th World Computer Congress, Date: AUG 26-27, 2004, Location: Toulouse, FRANCE, Sponsors: IFIP WG 1 7
