Equational Cryptographic Reasoning in the Maude-NRL Protocol Analyzer | Publicación