International Association for Cryptologic Research

International Association
for Cryptologic Research

CryptoDB

Paper: Proof of Soundness (Integrity) of Cryptographic Protocols

Authors:
Gustavus J. Simmons
Download:
DOI: 10.1007/BF00197941
Search ePrint
Search Google
BibTeX
@article{jofc-1994-14316,
  title={Proof of Soundness (Integrity) of Cryptographic Protocols},
  journal={J. Cryptology},
  volume={7},
  pages={69-77},
  doi={10.1007/BF00197941},
  author={Gustavus J. Simmons},
  year=1994
}