基于Oracle模型的可认证加密协议安全性分析

摘要：

密码算法的安全定义研究以及定义间的深入理解已经成为现代密码学的主要研究领域.然而,当前多数可认证加密方案缺乏必要的安全性分析,为了分析协议安全性,在IND-CPA概念基础上,对加密与MAC组合与先MAC后加密两种对称式的可认证加密协议予以分析,并分别用Oracle机方法给出了IND-CPA攻击下的安全性证明.结果表明加密与MAC组合方式不能保证IND-CPA安全,但先MAC后加密方式则可实现IND-CPA安全.

关键词：认证加密、选择明文攻击、不可区分性、消息认证、对称密码

所属期刊栏目：28

分类号：TP309.2(计算技术、计算机技术)

资助基金：河南省自然科学基金0411013600

在线出版日期：2007-06-25（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：2303-2305