FMSE '03: Formal Methods in Security Engineering: Proceedings of the 2003 ACM Workshop on Formal Methods in Security Engineering: Washington, DC, USA, October 30, 2003: co-located with CCS'03

Shelfclass_id	3.N
Sortkey	FMSE
Authors	Michael Backes, David Basin, Michael Waidner
Title	FMSE '03: Formal Methods in Security Engineering: Proceedings of the 2003 ACM Workshop on Formal Methods in Security Engineering: Washington, DC, USA, October 30, 2003: co-located with CCS'03
Publisher	Association for Computing Machinery
Year	c2003
Languages	eng
Isbn	1581137818
Description	v, 87 p. ill. 28 cm.
Record date	20080523
Location	New York
Nlmed	QA76.9.A25
Keywords	Computer security
Notes	"Sponsored by ACM SIGSAC."