International Association for Cryptologic Research

International Association
for Cryptologic Research

CryptoDB

Analyzing Encryption Protocols Using Formal Verification Authentication Schemes

Authors:
Richard A. Kemmerer
Download:
DOI: 10.1007/3-540-48184-2_26 (login may be required)
Search ePrint
Search Google
Conference: CRYPTO 1987
BibTeX
@inproceedings{crypto-1987-1426,
  title={Analyzing Encryption Protocols Using Formal Verification Authentication Schemes},
  booktitle={Advances in Cryptology - CRYPTO '87, A Conference on the Theory and Applications of Cryptographic Techniques, Santa Barbara, California, USA, August 16-20, 1987, Proceedings},
  series={Lecture Notes in Computer Science},
  publisher={Springer},
  volume={293},
  pages={289-305},
  doi={10.1007/3-540-48184-2_26},
  author={Richard A. Kemmerer},
  year=1987
}