Keywords:software security; model checking; Secure Socket Layer (SSL); formal methods
Publisher:Pasadena, CA : Jet Propulsion Laboratory, National Aeronautics and Space Administration, 2003
Citation:Research Deliverable to the Sponsor - NASA Goddard IV & V Facility and Code Q
Abstract:
This 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.