ISO/IEC 29128-1:2023 信息安全、网络安全和隐私保护 密码协议的验证 第1部分：框架

标准编号：ISO/IEC 29128-1:2023

中文名称：信息安全、网络安全和隐私保护 密码协议的验证 第1部分：框架

英文名称：Information security, cybersecurity and privacy protection — Verification of cryptographic protocols — Part 1: Framework

发布日期：2023-03

标准范围

This document establishes a framework for the verification of cryptographic protocol specification according to academic and industry best practices.

标准预览图