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.