Acquisition Source
Jet Propulsion Laboratory
Document Type
Conference Paper
Date Acquired
August 23, 2013
Publication Date
November 1, 2003
Subject Category
Computer Programming And Software Meeting Information
Meeting: International Software Security Symposium 2003
Location: Tokyo
Country: Japan
Start Date: November 1, 2003
End Date: November 4, 2003
Distribution Limits
Public
Keywords
security toolsetproperty-based testingsoftware securitymodel checkingsecurity verificationvulnerability matrix