@article{journals/ijisec/HopcroftL04,
  title = "Analysing a stream authentication protocol using model checking",
  author = "Philippa J. Hopcroft and Gavin Lowe",
  year = "2004",
  journal = "Int. J. Inf. Sec.",
  note = "The {CSP} scripts associated with this paper are available here: \url{http://web.comlab.ox.ac.uk/oucl/work/gavin.lowe/Security/Papers/TESLA/index.html}",
  number = "1",
  pages = "2-13",
  url = "http://web.comlab.ox.ac.uk/oucl/work/gavin.lowe/Security/Papers/TESLA.ps",
  volume = "3",
  doi = "10.1007/s10207-004-0040-1",
}