Volver atrás Publicación
González Burgueño Antonio, Santiago Pinazo Sonia, Escobar Román Santiago, Catherine Meadows, José Meseguer
2014
Analysis of the IBM CCA Security API Protocols in Maude-NPA