Casper files for the Wide Mouthed Frog Protocol


This directory contains Casper input files for the Wide Mouthed Frog Protocol from [BAN89].

References:

[AN95] Ross Anderson and Roger Needham. Programming Satan's Computer. In J. van Leeuwen (ed.), Computer Science Today, LNCS 1000, Springer-Verlag, 1995.

[BAN89] Michael Burrows, Martín Abadi, and Roger Needham. A logic of authentication. Proceedings of the Royal Society of London A, 426:233--271, 1989. Also available as Digital Equipment Corporation Systems Research Center report No.~39, 1989.