International Association for Cryptologic Research

International Association
for Cryptologic Research

CryptoDB

Paper: Formal Requirements for Key Distribution Protocols

Authors:
Paul F. Syverson
Catherine Meadows
Download:
DOI: 10.1007/BFb0053447 (login may be required)
Search ePrint
Search Google
Conference: EUROCRYPT 1994
BibTeX
@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
}