International Association
for Cryptologic Research

@inproceedings{eurocrypt-1994-2838,
  title={Formal Requirements for Key Distribution Protocols},
  booktitle={Advances in Cryptology - EUROCRYPT '94, Workshop on the Theory and Application of Cryptographic Techniques, Perugia, Italy, May 9-12, 1994, Proceedings},
  series={Lecture Notes in Computer Science},
  publisher={Springer},
  volume={950},
  pages={320-331},
  doi={10.1007/BFb0053447},
  author={Paul F. Syverson and Catherine Meadows},
  year=1994
}