对Bellare-Rogaway 3PKD模型安全性定义的修正

摘要：

指出Bellare和Rogaway在1995年提出的三方密钥分发模型--Bellare-Rogaway 3PKD模型的安全性定义存在缺陷.为此,设计了一个新的三方密钥分发协议P-Flaw.该协议在Bellare-Rogaway 3PKD模型下是可证明安全的.但是通过分析发现该协议不能够抵抗服务器欺骗攻击、已知会话密钥攻击和重放攻击等攻击形式,其原因在于Bellare-Rogaway 3PKD模型不能够对分发的会话密钥进行源识别.利用匹配会话的概念,修正了Bellare-Rogaway 3PKD模型的安全性定义.

关键词：安全模型、可证明安全性、密钥分发、形式化分析

所属期刊栏目：28

分类号：TN918.91

资助基金：国家自然科学基金60525110;国家重点基础研究发展计划973计划2007CB307100;2007CB307103;教育部跨世纪优秀人才培养计划NCET-04-0111

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

页数：共6页

页码：1-6