State space reduction in the Maude-NRL Protocol Analyzer | Publicación