Lawrence C. Paulson
-
The inductive approach to verifying cryptographic protocols
Journal of Computer Security