BibTeX record reference/crypt/Meadows11b

download as .bib file

@incollection{DBLP:reference/crypt/Meadows11b,
  author       = {Catherine Meadows},
  editor       = {Henk C. A. van Tilborg and
                  Sushil Jajodia},
  title        = {Formal Methods in Certification and Evaluation},
  booktitle    = {Encyclopedia of Cryptography and Security, 2nd Ed},
  pages        = {498--499},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-1-4419-5906-5\_858},
  doi          = {10.1007/978-1-4419-5906-5\_858},
  timestamp    = {Tue, 19 Sep 2023 14:44:33 +0200},
  biburl       = {https://dblp.org/rec/reference/crypt/Meadows11b.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics