The Inductive Approach to Verifying Cryptographic Protocols (1998)

by Lawrence C. Paulson
Venue:Journal of Computer Security