@article{journals/jcs/Lowe98,
  title = "Casper: A Compiler for the Analysis of Security Protocols",
  author = "Gavin Lowe",
  year = "1998",
  journal = "Journal of Computer Security",
  number = "1-2",
  pages = "53-84",
  url = "http://www.cs.ox.ac.uk/people/gavin.lowe/Security/Casper/casper.ps",
  volume = "6",
}