Assessing the security of a mission-critical software system

Bishop, D.; Gilliam, J.; Powell, J.; Kelly, M.

dc.contributor.author	Bishop, D.	en_US
dc.contributor.author	Gilliam, J.
dc.contributor.author	Powell, J.
dc.contributor.author	Kelly, M.
dc.date.accessioned	2004-11-09T21:36:37Z
dc.date.available	2004-11-09T21:36:37Z
dc.date.issued	2001-10-15	en_US
dc.identifier.citation	System Administrators' and Network Security Conference 2001	en_US
dc.identifier.citation	San Diego, CA, USA	en_US
dc.identifier.clearanceno	01-1705	en_US
dc.identifier.uri	http://hdl.handle.net/2014/36840
dc.format.extent	13664148 bytes
dc.format.mimetype	application/pdf
dc.language.iso	en_US
dc.subject.other	software security security toolset vulnerability matrix property-based testing model checking security verification	en_US
dc.title	Assessing the security of a mission-critical software system	en_US