Parallel Maude-NPA for Cryptographic Protocol Analysis | Publicación