Petri nets in cryptographic protocols

Federico Crazzolara, Glynn Winskel. Petri nets in cryptographic protocols. In Proceedings of the 15th International Parallel & Distributed Processing Symposium (IPDPS-01), San Francisco, CA, April 23-27, 2001. pages 149, IEEE Computer Society, 2001.

Abstract

Abstract is missing.