@incollection{cortier-kremer-book,
  title = "Analysing Security Protocols using {CSP}",
  author = "Gavin Lowe",
  year = "2011",
  booktitle = "Formal Models and Techniques for Analyzing Security Protocols",
  editor = "V\'eronique Cortier and Steve Kremer",
  publisher = "IOS Press",
}