@techreport{tr/Lowe1997/5,
  title = "A Family of Attacks upon Authentication Protocols",
  author = "Gavin Lowe",
  year = "1997",
  institution = "Department of Mathematics and Computer Science, University of Leicester",
  number = "1997/5",
  url = "http://www.cs.ox.ac.uk/people/gavin.lowe/Security/Papers/multiplicityTR.ps",
}