International Association for Cryptologic Research

International Association
for Cryptologic Research

CryptoDB

Applying a Formal Analysis Technique to the CCITT X.509 Strong Two-Way Authentication Protocol

Authors:
Klaus Gaarder
Einar Snekkenes
Download:
DOI: 10.1007/BF00196790
Search ePrint
Search Google
BibTeX
@article{jofc-1991-14107,
  title={Applying a Formal Analysis Technique to the CCITT X.509 Strong Two-Way Authentication Protocol},
  journal={J. Cryptology},
  volume={3},
  pages={81-98},
  doi={10.1007/BF00196790},
  author={Klaus Gaarder and Einar Snekkenes},
  year=1991
}