@misc{indiciaece1f87e822e1,
  title = {Transport Level Security: a proof using the Gong-Needham-Yahalom Logic},
  author = {Walter Eaves},
  year = {1999},
  url = {https://arxiv.org/abs/cs/9904005},
  note = {Source identifier: cs/9904005}
}