Advanced Features in Protocol Verification: Theory, Properties, and Efficiency in Maude-NPA | Publicación