Benjamin B. Nieh, Stafford E. Tavares. Modelling and Analyzing Cryprographic Protocols Using Petri Nets. In Jennifer Seberry, Yuliang Zheng, editors, Advances in Cryptology - AUSCRYPT 92, Workshop on the Theory and Application of Cryptographic Techniques, Gold Coast, Queensland, Australia, December 13-16, 1992, Proceedings. Volume 718 of Lecture Notes in Computer Science, pages 275-295, Springer, 1992.
Abstract is missing.