TY  - RPRT
TI  - Model based verification of the Secure Socket Layer (SSL) Protocol for NASA systems
AU  - Powell, John D.
AU  - Gilliam, David
PY  - 2004
UR  - https://ntrs.nasa.gov/citations/20060043622
ID  - 20060043622
ER  -