International Association for Cryptologic Research

International Association
for Cryptologic Research

CryptoDB

Paper: On The Formal Analysis of PKCS Authentication Protocols

Authors:
Klaus Gaarder
Einar Snekkenes
Download:
DOI: 10.1007/BFb0030355
Search ePrint
Search Google
Conference: AUSCRYPT 1990
BibTeX
@inproceedings{auscrypt-1990-196,
  title={On The Formal Analysis of PKCS Authentication Protocols},
  booktitle={AUSCRYPT},
  series={Lecture Notes in Computer Science},
  volume={453},
  pages={106-121},
  doi={10.1007/BFb0030355},
  author={Klaus Gaarder and Einar Snekkenes},
  year=1990
}