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
Component based approach to modeling for model checkingThis paper presents a portion of an overall research project on the generation of a software security assessment instrument to aid developers in assessing and assuring the security of software in the development and maintenance lifecycles.
Document ID
20060030702
Acquisition Source
Jet Propulsion Laboratory
Document Type
Conference Paper
External Source(s)
hdl:2014/11725
Authors
Powell, J. D.
Gilliam, D. P.
Date Acquired
August 23, 2013
Publication Date
June 28, 2002
Distribution Limits
Public
Copyright
Other
Keywords
security toolset model checking security safety formal verification

Available Downloads

There are no available downloads for this record.

Related Records

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