International Association for Cryptologic Research

International Association
for Cryptologic Research

CryptoDB

Analyzing Encryption Protocols Using Formal Verification Techniques

Authors:
Richard A. Kemmerer
Download:
Search ePrint
Search Google
Conference: EUROCRYPT 1986
BibTeX
@inproceedings{eurocrypt-1986-2471,
  title={Analyzing Encryption Protocols Using Formal Verification Techniques},
  booktitle={EUROCRYPT},
  pages={48},
  author={Richard A. Kemmerer},
  year=1986
}