NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Collections About News Help Login

Press Enter or click the Search button to begin your search.

Back to Results
Reducing software security risk
Document ID
20060043132
Acquisition Source
Jet Propulsion Laboratory
Document Type
Conference Paper
External Source(s)
hdl:2014/38154
Authors
Gilliam, David
Powell, John
Bishop, Matt
Date Acquired
August 23, 2013
Publication Date
January 1, 2004
Subject Category
Computer Programming And Software
Meeting Information
Meeting: National Information Security Research Council
Location: Washington, DC
Country: United States
Start Date: January 8, 2004
Distribution Limits
Public
Copyright
Other
Keywords
vulnerability matrix
property-based testing
model checking
security verification
software security
security toolset

Available Downloads

There are no available downloads for this record.

Related Records

There are no records associated with this record.
No Preview Available