Modeling and Analysis of Advanced Cryptographic Primitives and Security Protocols in Maude-NPA | Publicación