FMSE'03
Subtitle: proceedings of the 2003 ACM Workshop on Formal Methods in Security Engineering : Washington, DC, USA, October 30, 2003 : co-located with CCS'03
By: edited by Michael Backes, David Basin & Michael Waidner.
Contributors: Backes, Michael.; Basin, David.; Waidner, Michael.; Association for Computing Machinery. Special Interest Group on Security, Audit, and Control.; Association for Computing Machinery.; ACM Conference on Computer and Communications Security (10th : 2003 : Washington, D.C.)
Publisher: Association for Computing Machinery
Published: 2003
Place of publication: New York
Language: eng
Number of pages: 87
Subjects: Computer security -- Congresses
Genres: Congresses.
Other titles: Proceedings of the 2003 ACM Workshop on Formal Methods in Security Engineering; 2003 ACM Workshop on Formal Methods in Security Engineering; FMSE '03
Notes: "Sponsored by ACM SIGSAC."

"... held ... in conjunction with the 10th ACM Conference on Computer and Communications Security ..."--P. iii.

Includes bibliographical references and index.