Catherine Meadows. Formal Verification of Cryptographic Protocols: A Survey. In Josef Pieprzyk, Reihaneh Safavi-Naini, editors, Advances in Cryptology - ASIACRYPT 94, 4th International Conference on the Theory and Applications of Cryptology, Wollongong, Australia, November 28 - December 1, 1994, Proceedings. Volume 917 of Lecture Notes in Computer Science, pages 135-150, Springer, 1994.
Abstract is missing.