Information security, cybersecurity and privacy protection — Verification of cryptographic protocols — Part 1: Framework
Sécurité de l'information, cybersécurité et protection de la vie privée — Vérification des protocoles cryptographiques — Partie 1: Cadre