@misc{indiciae5d53a36f983e,
  title = {Using software security analysis to verify the secure socket layer (SSL) protocol},
  author = {Powell, John D.},
  year = {2004},
  url = {https://ntrs.nasa.gov/citations/20060043597},
  note = {Source identifier: 20060043597}
}