@proceedings{arspa-wits-2010,
  title = "Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security",
  year = "2010",
  editor = "Alessandro Armando and Gavin Lowe",
  number = "6186",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
}