Formal Verification of Cryptographic Protocols. A survey in (1995)

by C Meadows
Venue:Proceedings of Advances in Cryptology-Asiacrypto'94. Lecture Notes in Computer Science