@book{book/Lowe,
  title = "Modelling and analysis of security protocols",
  author = "Peter Ryan and Steve Schneider and Michael Goldsmith and Gavin Lowe and Bill Roscoe",
  year = "2001",
  publisher = "Addison-Wesley",
}