@inproceedings{conf/csfw/Lowe97,
  title = "Casper: A Compiler for the Analysis of Security Protocols",
  author = "Gavin Lowe",
  year = "1997",
  booktitle = "10th Computer Security Foundations Workshop (CSFW '97), June 10-12, 1997, Rockport, Massachusetts, USA",
  pages = "18-30",
  publisher = "IEEE Computer Society",
  url = "http://www.cs.ox.ac.uk/people/gavin.lowe/Security/Casper/casper.ps",
}