Mechanized proofs of security protocols
Subtitle: Needham-Schroeder with public keys
By: Lawrence C. Paulson.
Contributors: University of Cambridge. Computer Laboratory.
Series: Technical report- University of Cambridge Computer Laboratory -- no.413
Publisher: University of Cambridge, Computer Laboratory
Language: eng
Number of pages: 20
Subjects: Computer security -- Mathematical models.