@ARTICLE{ClarkJacob95,
  AUTHOR = {John A Clark and Jeremy L Jacob},
  TITLE = {On the Security of Recent Protocols},
  JOURNAL = {Information processing Letters},
  YEAR = 1995,
  VOLUME = 56,
  PAGES = {151--155}
}

@ARTICLE{HwangChen_SPLICEAS,
  AUTHOR = {Tzonelih Hwang and Yung-Hsiang Chen},
  TITLE = {On the security of SPLICE/AS : The authentication system in WIDE Internet},
  JOURNAL = {Information Processing Letters},
  YEAR = 1995,
  VOLUME = 53,
  PAGES = {97-101}
}

@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}
}