@article{journals/jcs/Lowe04,
  title = "Analysing Protocol Subject to Guessing Attacks",
  author = "Gavin Lowe",
  year = "2004",
  journal = "Journal of Computer Security",
  number = "1",
  pages = "83-98",
  url = "http://web.comlab.ox.ac.uk/oucl/work/gavin.lowe/Security/Papers/guessing.ps",
  volume = "12",
}