BibTeX record conf/secsr/Gonzalez-Burgueno15

• > Home > conf/secsr/Gonzalez-Burgueno15

@inproceedings{DBLP:conf/secsr/Gonzalez-Burgueno15,
  author       = {Antonio Gonz{\'{a}}lez{-}Burgue{\~{n}}o and
                  Sonia Santiago and
                  Santiago Escobar and
                  Catherine Meadows and
                  Jos{\'{e}} Meseguer},
  editor       = {Liqun Chen and
                  Shin'ichiro Matsuo},
  title        = {Analysis of the PKCS{\#}11 {API} Using the Maude-NPA Tool},
  booktitle    = {Security Standardisation Research - Second International Conference,
                  {SSR} 2015, Tokyo, Japan, December 15-16, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9497},
  pages        = {86--106},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-27152-1\_5},
  doi          = {10.1007/978-3-319-27152-1\_5},
  timestamp    = {Wed, 20 Sep 2023 08:58:10 +0200},
  biburl       = {https://dblp.org/rec/conf/secsr/Gonzalez-Burgueno15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}