@misc{indiciaede674b2fc4f5,
  title = {Reducing software security risk through an integrated approach research initiative model based verification of the Secure Socket Layer (SSL) Protocol},
  author = {Powell, John D.},
  year = {2003},
  url = {https://ntrs.nasa.gov/citations/20060043619},
  note = {Source identifier: 20060043619}
}