State Space Reduction in the Maude-NRL Protocol Analyzer | Publicación