NASA NTRS · 20060043622
Model based verification of the Secure Socket Layer (SSL) Protocol for NASA systems
Abstract
The National Aeronautics and Space Administration (NASA) has tens of thousands of networked computer systems and applications. Software Security vulnerabilities present risks such as lost or corrupted data, information theft, and unavailability of critical systems. These risks represent potentially enormous costs to NASA. The NASA Code Q research initiative 'Reducing Software Security Risk (RSSR) Trough an Integrated Approach' offers formal verification of information technology (IT), through the creation of a Software Security Assessment Instrument (SSAI), to address software security risks.
Explore related subjects
Keep this discovery
Explore connections, maps & timelines
Powell, John D., Gilliam, David. 2004-03-30. Model based verification of the Secure Socket Layer (SSL) Protocol for NASA systems. https://ntrs.nasa.gov/citations/20060043622
Cite the original work for its findings. Save a collection to share your selection of sources.