Analyzing a Library of Security Protocols using Casper and FDR
Ben Donovan‚ Paul Norris and Gavin Lowe
Details
| 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 |
Links
Related pages
|
People |