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

刘军; 廖建新; 朱峰; 王纯

您当前的位置：

首页 >

文章列表页 >

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

学术论文 | 更新时间：2024-10-14

- 对Bellare-Rogaway 3PKD模型安全性定义的修正
- Correcting the security definition of the Bellare-Rogaway 3PKD model
- 通信学报 2007年第9期页码：1-6
- 作者机构：
  
  1. 北京邮电大学网络与交换技术国家重点实验室
  2. 中国科学院软件研究所基础软件国家工程中心
- 作者简介：
- 基金信息：
- DOI：
  中图分类号： TN918
- 纸质出版日期：2007
- 稿件说明：
移动端阅览
刘军, 廖建新, 朱峰, 等. 对Bellare-Rogaway 3PKD模型安全性定义的修正[J]. 通信学报, 2007,(9):1-6.

LIU Jun1, LIAO Jian-xin1, ZHU Feng2, et al. Correcting the security definition of the Bellare-Rogaway 3PKD model[J]. 2007, (9): 1-6.
刘军, 廖建新, 朱峰, 等. 对Bellare-Rogaway 3PKD模型安全性定义的修正[J]. 通信学报, 2007,(9):1-6. DOI：

LIU Jun1, LIAO Jian-xin1, ZHU Feng2, et al. Correcting the security definition of the Bellare-Rogaway 3PKD model[J]. 2007, (9): 1-6. DOI：

摘要

指出Bellare和Rogaway在1995年提出的三方密钥分发模型——Bellare-Rogaway 3PKD模型的安全性定义存在缺陷。为此

设计了一个新的三方密钥分发协议P-Flaw。该协议在Bellare-Rogaway 3PKD模型下是可证明安全的。但是通过分析发现该协议不能够抵抗服务器欺骗攻击、已知会话密钥攻击和重放攻击等攻击形式

其原因在于Bellare-Rogaway 3PKD模型不能够对分发的会话密钥进行源识别。利用匹配会话的概念

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

Abstract

A flaw lied in the security definition of the Bellare-Rogaway 3PKD model

which was proposed by Bellare and Rogaway for three-party key distribution in 1995

was discovered.To reveal it

a new three-party key distribution proto-col P-Flaw was proposed.The protocol was provably secure under the Bellare-Rogaway 3PKD model.However the pro-tocol was not secure enough to withstand the server spoofing attack

known session key attack

and replay attack.The absence of the origin recognition for the distributed session key accounts for the flaw.Accordingly

the security definition of the Bellare-Rogaway 3PKD model was corrected based on matching conversation.

关键词

Keywords

references

浏览量

103

下载量

CSCD

文章被引用时，请邮件提醒。

提交

工具集

关联资源

基于身份认证的BACnet/IP分析与改进

基于CPN的安全协议形式化建模及安全分析方法

面向区块链贸易系统的无管理者安全模型

基于计算模型的安全协议Swift语言实施安全性分析

基于Shamir秘密共享的密钥分发与恢复算法