FMSE '04 : proceedings of the 2004 ACM Workshop on Formal Methods in Security Engineering : Washington, DC, USA, October 29, 2004 : co-located with CCS 2004 /

FMSE '04 : proceedings of the 2004 ACM Workshop on Formal Methods in Security Engineering : Washington, DC, USA, October 29, 2004 : co-located with CCS 2004 /

Show other versions (3)
Bibliographic Details
Corporate Authors: ACM Workshop on Formal Methods in Security Engineering Washington, D.C., Association for Computing Machinery Special Interest Group on Security, Audit, and Control (sponsoring body.), ACM Conference on Computer and Communications Security
Format: Conference Proceeding Book
Language:English
Published: New York : ACM, 2004
Subjects:
Computer security > Congresses
Formal methods (Computer science) > Congresses

Internet

This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.

Similar Items