Casper files for the Needham-Schroeder Public Key Protocol


This directory contains Casper input files for the Needham-Schroeder Public Key Protocol from [NS78].

References:

[Low95] Gavin Lowe. An attack on the Needham-Schroeder public-key authentication protocol. Information Processing Letters, 56:131--133, 1995.

[NS78] Roger Needham and Michael Schroeder. Using encryption for authentication in large networks of computers. Communications of the ACM, 21(12):993--999, 1978.