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]
Abstract is missing.