The inductive approach to verifying cryptographic protocols. (1998)

by Lawrence C Paulson
Venue:Journal of Computer Security,