@inproceedings{inproc/Donovan/99,
  title = "Analyzing a Library of Security Protocols using {Casper} and {FDR}",
  author = "Ben Donovan and Paul Norris and Gavin Lowe",
  year = "1999",
  booktitle = "{Proceedings of the Workshop on Formal Methods and Security Protocols}",
  note = "Some of the {Casper} scripts are available here: \url{http://web.comlab.ox.ac.uk/oucl/work/gavin.lowe/Security/Papers/prots.tar.gz}",
}