International Association for Cryptologic Research

International Association
for Cryptologic Research

CryptoDB

Paper: Three System for Cryptographic Protocol Analysis

Authors:
Richard A. Kemmerer
Catherine Meadows
Jonathan K. Millen
Download:
DOI: 10.1007/BF00197942
Search ePrint
Search Google
BibTeX
@article{jofc-1994-14206,
  title={Three System for Cryptographic Protocol Analysis},
  journal={J. Cryptology},
  volume={7},
  pages={79-130},
  doi={10.1007/BF00197942},
  author={Richard A. Kemmerer and Catherine Meadows and Jonathan K. Millen},
  year=1994
}