CryptoDB
Modelling and Analyzing Cryprographic Protocols Using Petri Nets
Authors: | |
---|---|
Download: | |
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 }