Volver atrás Publicación
Santiago Pinazo Sonia, Escobar Román Santiago, Catherine Meadows, José Meseguer
2014
A Formal Definition of Protocol Indistinguishability and its Verification Using Maude-NPA