@ARTICLE{Andrew,
  AUTHOR = {M. Satyanarayanan},
  TITLE = {Integrating security in a large distributed system},
  JOURNAL = {ACM Transactions on Computer Systems},
  YEAR = 1989,
  VOLUME = 7,
  NUMBER = 3,
  PAGES = {247--280}
}

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