International Association for Cryptologic Research

International Association
for Cryptologic Research

CryptoDB

Formal Verification of Cryptographic Protocols: A Survey

Authors:
Catherine Meadows
Download:
DOI: 10.1007/BFb0000430
Search ePrint
Search Google
Conference: ASIACRYPT 1994
Honor: Invited paper
BibTeX
@inproceedings{asiacrypt-1994-397,
  title={Formal Verification of Cryptographic Protocols: A Survey},
  booktitle={Advances in Cryptology - ASIACRYPT '94, 4th International Conference on the Theory and Applications of Cryptology, Wollongong, Australia, November 28 - December 1, 1994, Proceedings},
  series={Lecture Notes in Computer Science},
  publisher={Springer},
  volume={917},
  pages={135-150},
  doi={10.1007/BFb0000430},
  note={Invited paper},
  author={Catherine Meadows},
  year=1994
}