International Association
for Cryptologic Research

@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
}