Analyzing a Library of Security Protocols using Casper and FDR
Ben Donovan‚ Paul Norris and Gavin Lowe
Book Title
Proceedings of the Workshop on Formal Methods and Security Protocols
Note
Some of the Casper scripts are available here: http://web.comlab.ox.ac.uk/oucl/work/gavin.lowe/Security/Papers/prots.tar.gz
Year
1999