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

第38 卷 第4 期 电 子 科 技 大 学 学 报 Vol.38 No.4 2009年7月 Journal of University of Electronic Science and Technology of China Jul. 2009 分组密码算法认证运算模式的注记及可证安全性 罗 岚，秦志光，万国根，魏正耀TPF FPT ( 电子科技大学计算机科学与技术学院 成都 610054) 【摘要】对分组密码算法CCM 、CMAC加密模式进行描述，用可证安全性理论对它们进行相关研究和证明，并对各种证 明情况在不同通信环境下的使用作出说明。针对认证工作模式用流程图的方式进行描述，同时证明了所有标准化的运算模式 对于不同的使用环境是安全的。所研究内容对于2007年7月公布的GCM模式仍然适用，而且对于新的运算模式设计，可证安 全性仍然是一个必要的环节。 关 键 词 分组密码; 运算环境; 运算模式; 可证安全性; 流密码 中图分类号 TN918.1 文献标识码 A doi:10.3969/j.issn.1001-0548.2009.04.029 Note to the Authentication Operate Modes of Block Cipher and Provable Security LUO Lan, QIN Zhi-Guang, WAN Guo-Gen, and WEI Zheng-yao (School of Computer Science and Engineering，University of Electronic Science and Technology of China Chengdu 610054) Abstract U The validity of the provable security of U counter with cipher block chaining message authentication U (CCM) mode and U cipher-based message authentication codeU (CMAC) mode was studied and proved. The code illustrations of different communications’ encryption have been developed. U 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. Key words block cipher; operation environments; operation mode; provable security; stream cipher 可证安全性(provable security，PS)理论是对安全 可与发展。 协议框架证明而采取的一种方法，最早被应用于公 可以看出：对于非