Protocol analysis in Maude-NPA using unification modulo homomorphic encryption | Publicación