Mechanized Proofs for a

Recursive Authentication Protocol1

Lawrence C. Paulson
Computer Laboratory
University of Cambridge
Pembroke Street
Cambridge CB2 3QG
England

[email protected]

1An abridged version of this paper appeared in the Proceedings of the 10th Computer Security Foundations Workshop, 10{12 June 1997, pages 84{95. Copyright c 1997 IEEE