@inproceedings{conf/esorics/BroadfootL02,
  title = "Analysing a Stream Authentication Protocol Using Model Checking",
  author = "Philippa J. Broadfoot and Gavin Lowe",
  year = "2002",
  booktitle = "Computer Security - ESORICS 2002, 7th European Symposium on Research in Computer Security, Zurich, Switzerland, October 14-16,
2002, Proceedings",
  editor = "Dieter Gollmann and G{\"u}nter Karjoth and Michael Waidner",
  isbn = "3-540-44345-2",
  pages = "146-161",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "2502",
}