@ARTICLE{Lowe97TMN,
  AUTHOR = {G. Lowe and A. W. Roscoe},
  TITLE = {Using {CSP} to Detect Errors in the {TMN} Protocol},
  JOURNAL = {Software Engineering},
  VOLUME = {23},
  NUMBER = {10},
  PAGES = {659-669},
  YEAR = {1997},
  URL = {citeseer.nj.nec.com/lowe97using.html}
}

@INPROCEEDINGS{TMN89,
  AUTHOR = {M. Tatebayashi and N. Matsuzaki and D.B. Newman},
  TITLE = {Key distribution protocol for digital mobile communication systems},
  BOOKTITLE = {Advance in Cryptology --- CRYPTO '89},
  PAGES = {324--333},
  YEAR = 1989,
  VOLUME = 435,
  SERIES = {LNCS},
  PUBLISHER = {Springer-Verlag}
}

@ARTICLE{Simmons94cacm,
  AUTHOR = {Gustavus J. Simmons},
  TITLE = {Cryptoanalysis and Protocol Failure},
  JOURNAL = CACM,
  VOLUME = 37,
  NUMBER = 11,
  YEAR = 1994,
  MONTH = NOV,
  PAGES = {56--65}
}

@INPROCEEDINGS{Simmons88,
  AUTHOR = {Gustavus J. Simmons},
  TITLE = {An Impersonation-proof Identity Verification Scheme},
  BOOKTITLE = {Advances in Cryptology: Proceedings of Crypto 87},
  PAGES = {211-215},
  YEAR = 1988,
  VOLUME = 293,
  SERIES = {LNCS},
  PUBLISHER = {Springer-Verlag}
}