@TECHREPORT{Lowe97,
  AUTHOR = {Gavin Lowe},
  TITLE = {A Family of Attacks upon Authentication Protocols},
  INSTITUTION = {Department of Mathematics and Computer Science, University of Leicester},
  YEAR = 1997,
  NUMBER = {1997/5}
}