@inproceedings{conf/csfw/HeatherLS00,
  title = "How to Prevent Type Flaw Attacks on Security Protocols",
  author = "James Heather and Gavin Lowe and Steve Schneider",
  year = "2000",
  booktitle = "CSFW",
  pages = "255-268",
  url = "http://www.cs.ox.ac.uk/people/gavin.lowe/Security/Papers/typingJCS.ps",
}