Mechanized Proofs of Security Protocols:

Needham-Schroeder with Public Keys

Lawrence C. Paulson
Computer Laboratory
University of Cambridge

[email protected]

January 1997