@article{journals/jcs/HeatherLS03,
  author = "James Heather and Gavin Lowe and Steve Schneider",
  journal = "Journal of Computer Security",
  number = "2",
  pages = "217-244",
  title = "How to Prevent Type Flaw Attacks on Security Protocols",
  url = "http://web.comlab.ox.ac.uk/oucl/work/gavin.lowe/Security/Papers/typing.ps",
  volume = "11",
  year = "2003",
}