@article{PavlovicD:MFPS10,
  title = "Bayesian Authentication: {Quantifying} Security of the {Hancke-Kuhn} Protocol",
  author = "Dusko Pavlovic and Catherine Meadows",
  year = "2010",
  issn = "1571-0661",
  journal = "E. Notes in Theor. Comp. Sci.",
  keywords = "security protocol, pervasive authentication, symbolic model, Bayesian reasoning, distance bounding",
  pages = "97 - 122",
  volume = "265",
  doi = "DOI: 10.1016/j.entcs.2010.08.007",
}