NASA NTRS · 20060028836
Model checking for software security properties
Abstract
This paper describes the use of the Flexible Modeling Framework (FMF) for model checking (MC) to perform and search for vulnerabilities in the Secure Socket Layer (SSL) communication protocol.
Explore related subjects
Keep this discovery
Explore connections, maps & timelines
Powell, J. D.. 2003-06-09. Model checking for software security properties. https://ntrs.nasa.gov/citations/20060028836
Cite the original work for its findings. Save a collection to share your selection of sources.