Reducing software security risk through an integrated approach
Explore the source record for details and available documents.
model checking security verification↗
Engineering topics
Kelly, J. C.
Publications and source records attributed to Kelly, J. C..
Development of a software security assessment instrument to reduce software security risk
This paper discusses the development of a security assessment instrument for the software development and maintenance life cycle.
specification checking security verification↗
Development of a software security assessment instrument to reduce software security risk
This paper discusses development of a security assessment instrument for the software development and maintenance life cycle. The assessment instrument is a collection of tools and procedures to support development of secure software.
security toolset vulnerability matrix property-bas↗
Formal assessment of network security risks with an integrated assessment instrument
Explore the source record for details and available documents.
checking security verification↗
Position paper for HDCC
Explore the source record for details and available documents.
Software Assurance Research program↗
NASA Software Working Group (SWG) supporting activities for the NASA Initiative for Software Safety and Quality
Explore the source record for details and available documents.
software safety quality↗
Experiences with the Application of Formal Methods to a High Criticality Space Application
Explore the source record for details and available documents.
software quality complex applications critical sof↗
Case Study: Formal Inspections at the Jet Propulsion Laboratory
The Jet Propulsion Laboratory (JPL) of the California Institute of Technology is a federally funded research and development center operating under contract to the National Aeronautics and Space Administration (NASA). JPL's charter emphasizes the exploration of the solar system including observations of Earth as well as other stellar systems and extra-solar-system bodies. Within JPL, the Software Product Assurance (SPA) Section helps to ensure the operational integrity of the software within the system. SPA evaluates the operational requirements, the acceptability and readiness of all software, hardware/software interfaces, and the integrity of the completed software before its final release into the operational environment.
Kelly, J. C.↗