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

Conference Author: ACM Workshop on Formal Methods in Security Engineering (2nd : 2004 : Washington, D.C.)
Additional Titles: Proceedings of the 2004 ACM Workshop on Formal Methods in Security Engineering and Formal Methods in Security Engineering '04 : proceedings of the 2004 Association for Computing Machinery Workshop on Formal Methods in Security Engineering : Washington, District of Columbia, USA, October 29, 2004 : co-located with Computer and Communications Security 2004
Published: New York : ACM, 2004.
Physical Description: 1 online resource (96 pages)
Additional Creators: Association for Computing Machinery. Special Interest Group on Security, Audit, and Control and ACM Conference on Computer and Communications Security (11th : 2004 : Washington, D.C.)