The inductive approach to verifying cryptographic protocols (1998)

by Lawrence C. Paulson
Venue:Journal of Computer Security