Automated verification tools for cryptographic protocols | Publicación