@ARTICLE{BellovinMerritt-kerberos,
  AUTHOR = {Steven M. Bellovin, Michael Merritt},
  TITLE = {Limitations of the Kerberos Authentication System},
  JOURNAL = {Computer Communication Review},
  YEAR = 1990,
  VOLUME = 20,
  NUMBER = 5,
  PAGES = {119--132},
  MONTH = {october}
}

@TECHREPORT{BurrowsAbadiNeedham89,
  AUTHOR = {Michael Burrows and Martin Abadi and Roger Needham},
  TITLE = {A logic of Authentication},
  INSTITUTION = {Digital Systems Research Center},
  YEAR = 1989,
  NUMBER = 39,
  MONTH = {february}
}

@TECHREPORT{kerberos,
  AUTHOR = {B. Clifford Neuman and Theodore Ts'o},
  TITLE = {Kerberos : An Authentication Service for Computer Networks},
  INSTITUTION = {USC/ISI},
  YEAR = 1994,
  NUMBER = {ISI/RS-94-399}
}