BibTeX record books/ios/11/CK2011

download as .bib file

@book{DBLP:books/ios/11/CK2011,
  editor       = {V{\'{e}}ronique Cortier and
                  Steve Kremer},
  title        = {Formal Models and Techniques for Analyzing Security Protocols},
  series       = {Cryptology and Information Security Series},
  volume       = {5},
  publisher    = {{IOS} Press},
  year         = {2011},
  url          = {http://ebooks.iospress.nl/volume/formal-models-and-techniques-for-analyzing-security-protocols},
  isbn         = {978-1-60750-713-0},
  timestamp    = {Fri, 15 May 2020 12:11:04 +0200},
  biburl       = {https://dblp.org/rec/books/ios/11/CK2011.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics