@ARTICLE{Lowe74ipl,
  AUTHOR = {Gavin Lowe},
  TITLE = {An Attack on the {N}eedham-{S}chroeder Public Key Authentication
           Protocol},
  JOURNAL = IPL,
  VOLUME = 56,
  NUMBER = 3,
  PAGES = {131--136},
  MONTH = NOV,
  YEAR = 1995
}

@ARTICLE{NeedhamSchroeder78cacm,
  AUTHOR = {Roger Needham and Michael Schroeder},
  TITLE = {Using Encryption for Authentification in Large Networks of
           Computers},
  JOURNAL = CACM,
  VOLUME = 21,
  NUMBER = 12,
  MONTH = DEC,
  YEAR = 1978
}