|  | |||||||||
The Inductive Approach to
Verifying Cryptographic Protocols
Lawrence C. Paulson
Computer Laboratory
University of Cambridge
Pembroke Street
Cambridge CB2 3QG
England
6 February 1998
| | |||||||||
The Inductive Approach to
Verifying Cryptographic Protocols
Lawrence C. Paulson
Computer Laboratory
University of Cambridge
Pembroke Street
Cambridge CB2 3QG
England
6 February 1998