@ARTICLE{HwangLeeLiKoChen_NeumannStubblebine,
  AUTHOR = {Tzonelih Hwang and Narn-Yoh Lee and Chuang-Ming Li and Ming-Yung Ko and Yung-Hsiang Chen},
  TITLE = {Two Attacks on Neumann-Stubblebine Authentication Protocols},
  JOURNAL = {Information Processing Letters},
  YEAR = 1995,
  VOLUME = 53,
  PAGES = {103 - 107}
}

@ARTICLE{NeumannStublebine,
  AUTHOR = {B. Clifford Neumann and Stuart G. Stubblebine},
  TITLE = {A Note on the Use of Timestamps as Nonces},
  JOURNAL = {Operating Systems Review},
  YEAR = 1993,
  VOLUME = 27,
  NUMBER = 2,
  PAGES = {10-14},
  MONTH = {april}
}

@INPROCEEDINGS{Weidenbach_cade99,
  AUTHOR = {Christoph Weidenbach},
  TITLE = {Towards an Automatic Analysis of Security Protocols},
  BOOKTITLE = {Proceedings of the 16th International Conference on Automated Deduction},
  PAGES = {378-382},
  YEAR = 1999,
  EDITOR = {Harald Ganzinger},
  VOLUME = 1632,
  SERIES = {LNAI},
  PUBLISHER = {Springer}
}