中文摘要：

对分组密码算法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.