JPL Technical Report Server

Assessing the security of a mission-critical software system

Show simple item record

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


Files in this item

This item appears in the following Collection(s)

Show simple item record

Search


Browse

My Account