International Association for Cryptologic Research

International Association
for Cryptologic Research

CryptoDB

Paper: Formal Specification and Verification of Secure Communication Protocols

Authors:
Svein J. Knapskog
Download:
DOI: 10.1007/BFb0030352
Search ePrint
Search Google
Conference: AUSCRYPT 1990
BibTeX
@inproceedings{auscrypt-1990-253,
  title={Formal Specification and Verification of Secure Communication Protocols},
  booktitle={AUSCRYPT},
  series={Lecture Notes in Computer Science},
  volume={453},
  pages={58-73},
  doi={10.1007/BFb0030352},
  author={Svein J. Knapskog},
  year=1990
}