ISO/IEC 29128:2011 信息技术 安全技术 加密协议的验证

标准编号：ISO/IEC 29128:2011

中文名称：信息技术 安全技术 加密协议的验证

英文名称：Information technology — Security techniques — Verification of cryptographic protocols

发布日期：2011-12

标准范围

ISO/IEC 29128:2011为加密协议规范的安全性证明建立了技术基础。它规定了这些协议的设计评估标准，以及在此类协议的验证过程中应用的方法。它还提供了与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.

标准预览图