The Inductive Approach to Verifying Cryptographic Protocols (1998)

by L C Paulson
Venue:Journal of Computer Security