International Association for Cryptologic Research

International Association
for Cryptologic Research

CryptoDB

Modelling and Analyzing Cryprographic Protocols Using Petri Nets

Authors:
Benjamin B. Nieh
Stafford E. Tavares
Download:
DOI: 10.1007/3-540-57220-1_69
Search ePrint
Search Google
Conference: AUSCRYPT 1992
BibTeX
@inproceedings{auscrypt-1992-317,
  title={Modelling and Analyzing Cryprographic Protocols Using Petri Nets},
  booktitle={Advances in Cryptology - AUSCRYPT '92},
  volume={718},
  pages={275-295},
  doi={10.1007/3-540-57220-1_69},
  author={Benjamin B. Nieh and Stafford E. Tavares},
  year=1992
}