对一个公平文件交换协议的博弈分析与改进

• 作者: 何大可 李云峰
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 公平交换协议 公平性 博弈论 形式化分析
• 年，卷（期）: 2006,（11）
• 所属期刊栏目: 网络、通信与安全
• 页码范围: 161-165,208
• 页数: 6页
• 分类号: TP393
• 字数: 6841字
• 语种: 中文
• DOI: 10.3321/j.issn:1002-8331.2006.11.048

摘要

文献[1]提出了一个基于证书机制的公平文件交换协议--Ping-协议,文章利用文献[6]中提出的基于博弈论思想对公平交换协议进行形式化分析的方法对Ping-协议进行了建模和分析,发现当协议的接收方在交换子协议执行了两个步骤之后执行恢复子协议会破坏协议的公平性;同时文章对协议建模时也将通信信道形式化,从而发现,如果协议的一个参与方能够与通信信道合作,那么也可以破坏协议的公平性.文章针对发现的漏洞对Ping-协议进行了修改,修改后的协议能够满足协议公平性的要求.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	何大可	西南交通大学信息安全与国家高性能计算网格实验室	182	1679	20.0	31.0
2	李云峰	西南交通大学信息安全与国家高性能计算网格实验室	9	23	3.0	4.0