Title :
Petri nets in cryptographic protocols
Author :
Crazzolara, Federico ; Winskel, Glynn
Author_Institution :
University of Cambridge
Keywords :
Authentication; Character generation; Computer science; Computer security; Cryptographic protocols; Cryptography; Data security; Laboratories; Petri nets; Public key;
Conference_Titel :
Parallel and Distributed Processing Symposium., Proceedings 15th International
Conference_Location :
San Francisco, CA, USA
Print_ISBN :
0-7695-0990-8
DOI :
10.1109/IPDPS.2001.925135
