Analysis of the IBM CCA Security API Protocols in Maude-NPA

Antonio González-Burgueño, Sonia Santiago, Santiago Escobar, Catherine Meadows, José Meseguer. Analysis of the IBM CCA Security API Protocols in Maude-NPA. In Liqun Chen, Chris J. Mitchell, editors, Security Standardisation Research - First International Conference, SSR 2014, London, UK, December 16-17, 2014. Proceedings. Volume 8893 of Lecture Notes in Computer Science, pages 111-130, Springer, 2014. [doi]

@inproceedings{Gonzalez-Burgueno14,
  title = {Analysis of the IBM CCA Security API Protocols in Maude-NPA},
  author = {Antonio González-Burgueño and Sonia Santiago and Santiago Escobar and Catherine Meadows and José Meseguer},
  year = {2014},
  doi = {10.1007/978-3-319-14054-4_8},
  url = {http://dx.doi.org/10.1007/978-3-319-14054-4_8},
  researchr = {https://researchr.org/publication/Gonzalez-Burgueno14},
  cites = {0},
  citedby = {0},
  pages = {111-130},
  booktitle = {Security Standardisation Research - First International Conference, SSR 2014, London, UK, December 16-17, 2014. Proceedings},
  editor = {Liqun Chen and Chris J. Mitchell},
  volume = {8893},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-319-14053-7},
}