标准编号：ISO/IEC 29128:2011
中文名称：信息技术 安全技术 加密协议的验证
英文名称：Information technology — Security techniques — Verification of cryptographic protocols
发布日期：2011-12
标准范围
This International Standard establishes a technical base for the security proof of the specification of cryptographic protocols. This International Standard specifies design evaluation criteria for these protocols, as well as methods to be applied in a verification process for such protocols. This International Standard also provides definitions of different protocol assurance levels consistent with evaluation assurance components in ISO/IEC 15408.
标准预览图
立即下载标准文件