FMSE '05: Formal Methods in Security Engineering: Proceedings of the 2005 ACM Workshop on Formal Methods in Security Engineering: November 11, 2005, Fairfax, Virginia, USA: co-located with CCS 2005

Shelfclass_id	3.N
Sortkey	FMSE
Authors	Ralf Kusters, John Mitchell
Title	FMSE '05: Formal Methods in Security Engineering: Proceedings of the 2005 ACM Workshop on Formal Methods in Security Engineering: November 11, 2005, Fairfax, Virginia, USA: co-located with CCS 2005
Publisher	Association for Computing Machinery
Year	c2005
Languages	eng
Isbn	1595932313
Description	vi, 83 p. ill. 28 cm.
Record date	20080523
Location	New York, N.Y.
Nlmed	QA76.9.A25
Keywords	Computer security, Formal methods (Computer science)