Casper files for the BAN version of the Otway-Rees Protocol


This directory contains Casper input files for the version of the Otway-Rees Protocol from [BAN89]. In the input files, each message is split into two, to limit the state space.

References:

[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.

[BM93] Colin Boyd and Wenbo Mao. On a Limitation of BAN Logic. Springer Verlag LNCS 765, 1993.