Volver atrás Publicación
Escobar Román Santiago, Kapur Deepak, Lynch Christopher, Catherine Meadows, José Meseguer, Narendran Paliath, Sasse Ralf
2011
Protocol Analysis in Maude-NPA Using Unification Modulo Homomorphic Encryption