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

• 作者: 刘军 廖建新 朱峰 王纯
• 来源期刊: 通信学报
• 学科: 工学
• 关键词: 安全模型 可证明安全性 密钥分发 形式化分析
• 年，卷（期）: 2007,（9）
• 所属期刊栏目: 学术论文
• 页码范围: 1-6
• 页数: 6页
• 分类号: TN918.91
• 字数: 5339字
• 语种: 中文
• DOI: 10.3321/j.issn:1000-436x.2007.09.001

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	廖建新	北京邮电大学网络与交换技术国家重点实验室	340	2208	21.0	29.0
2	王纯	北京邮电大学网络与交换技术国家重点实验室	107	750	12.0	22.0
3	朱峰	中国科学院软件研究所基础软件国家工程中心	15	53	4.0	6.0
4	刘军	北京邮电大学网络与交换技术国家重点实验室	17	118	6.0	10.0