FMSE '04
Subtitle: proceedings of the 2004 ACM Workshop on Formal Methods in Security Engineering : Washington, DC, USA, October 29, 2004 : co-located with CCS 2004
By: sponsored by ACM SIGSAC.
Contributors: Association for Computing Machinery. Special Interest Group on Security, Audit, and Control.; Association for Computing Machinery.; ACM Conference on Computer and Communications Security (11th : 2004 : Washington, D.C.)
Publisher: Association for Computing Machinery
Published: 2004
Place of publication: New York, N.Y
Language: eng
Number of pages: 97
Subjects: Computer security -- Congresses.; Formal methods (Computer science) -- Congresses.
Genres: Congresses.
Other titles: Proceedings of the 2004 ACM Workshop on Formal Methods in Security Engineering; 2004 ACM Workshop on Formal Methods in Security Engineering; Formal methods in security engineering
Notes: Includes bibliographical references and index.