FMSE '05
Subtitle: proceedings of the 2005 ACM Workshop on Formal Methods in Security Engineering : November 11, 2005, Fairfax, Virginia, USA : co-located with CCS 2005
By: Ralf Küsters & John Mitchell, editors ; sponsored by ACM Special Interest Group on Security, Audit & Control (SIGSAC).
Contributors: Küsters, Ralf.; Mitchell, John C.; Association for Computing Machinery. Special Interest Group on Security, Audit, and Control.; ACM Conference on Computer and Communications Security (12th : 2005 : Alexandria, Va.)
Publisher: Association for Computing Machinery
Published: 2005
Place of publication: New York, N.Y
Language: eng
Number of pages: 83
Subjects: Computer security -- Congresses.; Formal methods (Computer science) -- Congresses.
Genres: Congresses.
Other titles: Proceedings of the 2005 ACM Workshop on Formal Methods in Security Engineering; 2005 ACM Workshop on Formal Methods in Security Engineering; Formal methods in security engineering
Notes: "... 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.