标准摘要
[中文适用范围]： 本文档根据学术界和业界的最佳实践建立了加密协议规范的验证框架。 [外文原描述]： This document establishes a framework for the verification of cryptographic protocol specifications according to academic and industry best practices.
英文名称Information security, cybersecurity and privacy protection - Verification of cryptographic protocols - Part 1: Framework