分组密码算法认证运算模式的注记及可证安全性

基金项目:

国家863计划(2006AA01Z428);国家自然科学基金(60673075)

详细信息

Note to the Authentication Operate Modes of Block Cipher and Provable Security

School of Computer Science and Engineering,University of Electronic Science and Technology of China Chengdu 610054

摘要: 对分组密码算法CCM、CMAC加密模式进行描述，用可证安全性理论对它们进行相关研究和证明，并对各种证明情况在不同通信环境下的使用作出说明。针对认证工作模式用流程图的方式进行描述，同时证明了所有标准化的运算模式对于不同的使用环境是安全的。所研究内容对于2007年7月公布的GCM模式仍然适用，而且对于新的运算模式设计，可证安全性仍然是一个必要的环节。
- 分组密码 /
- 运算环境 /
- 运算模式 /
- 可证安全性 /
- 流密码
Abstract: The validity of the provable security of counter with cipher block chaining message authentication code (CCM) mode and cipher-based message authentication code (CMAC) mode was studied and proved. The illustrations of different communications' encryption have been developed. The security of the novel authentication operation mode is demonstrated with flowing chart. The standardized operation modes of block cipher are proved to be safe in various environments. The proposed procedure is also applicable to Galois/counter mode (GCM) operation mode published in July, 2007. The provable security is a necessary process for a new mode of block cipher.
- block cipher /
- operation environments /
- operation mode /
- provable security /
- stream cipher