Verification of cryptographic protocols

Related standards or drafts

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

60.60 Standard published

ISO/IEC JTC 1/SC 27