![FMSE '05 Proceedings of the [third] 2005 ACM Workshop on Formal Methods in Security Engineering, Fairfax (VA), USA, 11.11.2005](/_next/image?url=https%3A%2F%2Fimages.isbndb.com%2Fcovers%2F5685863482756.jpg&w=750&q=85)
FMSE '05 Proceedings of the [third] 2005 ACM Workshop on Formal Methods in Security Engineering, Fairfax (VA), USA, 11.11.2005
0
0
Author Description
Ralf Küsters & John Mitchell, Editors ; Sponsored By Acm Special Interest Group On Security, Audit & Control (sigsac). ... Third Acm Workshop On Formal Methods In Security Engineering (fmse 2005) ...--p. Iii. Acm Order Number 100055--p. Ii. Includes Bibliographical References And Author Index. Also Issued Online.
Page Count:
83
Publication Date:
2005-01-01
ISBN-10:
1595932313
ISBN-13:
9781595932310
Community Tags
Reader Comments
Share Your Thoughts
No comments yet. Be the first to share your thoughts!