@techreport{RR-09-09,
  title = "Quantifying pervasive authentication: the case of the Hancke-Kuhn protocol",
  author = "Dusko Pavlovic and Catherine Meadows",
  year = "2009",
  institution = "OUCL",
  month = "October",
  number = "RR-09-09",
  pages = "12",
}