@book{SecurityProtocolsBook,
  title = "The Modelling and Analysis of Security Protocols",
  author = "A. W. Roscoe and P. Ryan and S. Schneider and M. Goldsmith and G. Lowe",
  year = "2001",
  publisher = "{Addison-Wesley}",
}