NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Back to Results
Reducing software security risk through an integrated approach research initiative model based verification of the Secure Socket Layer (SSL) ProtocolThis document discusses the verification of the Secure Socket Layer (SSL) communication protocol as a demonstration of the Model Based Verification (MBV) portion of the verification instrument set being developed under the Reducing Software Security Risk (RSSR) Trough an Integrated Approach research initiative. Code Q of the National Aeronautics and Space Administration (NASA) funds this project. The NASA Goddard Independent Verification and Validation (IV&V) facility manages this research program at the NASA agency level and the Assurance Technology Program Office (ATPO) manages the research locally at the Jet Propulsion Laboratory (California institute of Technology) where the research is being carried out.
Document ID
20060043619
Acquisition Source
Jet Propulsion Laboratory
Document Type
Conference Paper
External Source(s)
Authors
Powell, John D.
Date Acquired
August 23, 2013
Publication Date
January 1, 2003
Subject Category
Computer Programming And Software
Distribution Limits
Public
Copyright
Other
Keywords
software security
formal methods
Secure Socket Layer (SSL)
model checking

Available Downloads

There are no available downloads for this record.
No Preview Available