标准摘要
[中文适用范围]： 本国际标准为密码协议规范的证明建立了技术基础。本国际标准规定了这些协议的设计评估标准，以及应用于此类协议验证过程的方法。本国际标准还提供了与 ISO/IEC 15408 中的评估保证组件一致的协议保证级别的定义。 [外文原描述]： ISO/IEC 29128:2011 establishes a technical base for the security proof of the specification of cryptographic protocols. It specifies design evaluation criteria for these protocols, as well as methods to be applied in a verification process for such protocols. It also provides definitions of different protocol assurance levels consistent with evaluation assurance components in ISO/IEC 15408.
英文名称Information technology - Security techniques - Verification of cryptographic protocols