Analysis of the IBM CCA Security API Protocols in Maude-NPA | Publicación