@inproceedings{stoller02bound,
  author = "Scott D. Stoller",
  title = "A Bound on Attacks on Authentication Protocols",
  editor="R. Baeza-Yates and Ugo Montanari and Nicola Santoro",
  booktitle = "Proc.\ 2nd IFIP International Conference on Theoretical Computer Science: Foundations of Information Technology in the Era of Network and Mobile Computing",
  publisher = "Kluwer",
  year = 2002,
  pages="588-600"
}