@inproceedings{conf/csfw/Lowe99,
  title = "Safe Simplifying Transformations for Security Protocols",
  author = "Mei Lin Hui and Gavin Lowe",
  year = "1999",
  booktitle = "CSFW",
  pages = "32-43",
  url = "http://www.cs.ox.ac.uk/people/gavin.lowe/Security/Papers/simplify.ps",
}