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

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

作　　者：罗岚 秦志光[1] 万国根[1] 魏正耀[1] 

机构地区：[1]电子科技大学计算机科学与技术学院,成都610054

出　　处：《电子科技大学学报》2009年第4期600-604,共5页Journal of University of Electronic Science and Technology of China

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

摘　　要：对分组密码算法CCM、CMAC加密模式进行描述,用可证安全性理论对它们进行相关研究和证明,并对各种证明情况在不同通信环境下的使用作出说明。针对认证工作模式用流程图的方式进行描述,同时证明了所有标准化的运算模式对于不同的使用环境是安全的。所研究内容对于2007年7月公布的GCM模式仍然适用,而且对于新的运算模式设计,可证安全性仍然是一个必要的环节。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.

关 键 词：分组密码 运算环境 运算模式 可证安全性 流密码 

分 类 号：TN918.1[电子电信—通信与信息系统]