Maude-NPA: Cryptographic Protocol Analysis Modulo Equational Properties | Publicación