Information security, cybersecurity and privacy protection — Verification of cryptographic protocols — Part 1: Framework
60.60 Standard published