@article{journals/jcs/HuiL01,
  title = "Fault-Preserving Simplifying Transformations for Security Protocols",
  author = "Mei Lin Hui and Gavin Lowe",
  year = "2001",
  journal = "Journal of Computer Security",
  number = "1/2",
  pages = "3-46",
  url = "http://www.cs.ox.ac.uk/people/gavin.lowe/Security/Papers/simplifyJCS.ps",
  volume = "9",
}