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

The Game Analysis and Revising on a Fair Document Exchange Protocol

作　　者：李云峰[1] 何大可[1] 

机构地区：[1]西南交通大学信息安全与国家高性能计算网格实验室,成都610031

出　　处：《计算机工程与应用》2006年第11期161-165,208,共6页Computer Engineering and Applications

摘　　要：文献[1]提出了一个基于证书机制的公平文件交换协议——Ping-协议,文章利用文献[6]中提出的基于博弈论思想对公平交换协议进行形式化分析的方法对Ping-协议进行了建模和分析,发现当协议的接收方在交换子协议执行了两个步骤之后执行恢复子协议会破坏协议的公平性;同时文章对协议建模时也将通信信道形式化,从而发现,如果协议的一个参与方能够与通信信道合作,那么也可以破坏协议的公平性。文章针对发现的漏洞对Ping-协议进行了修改,修改后的协议能够满足协议公平性的要求。Based on the formal game analysis method given in [6],this paper models and analyses Ping-protocol proposed in paper [1],which uses certificate to implement a fair exchange protocol.The author finds attacks on the fair proterty of Ping-protocol.One is that the receiver party of the protocol can get the information he want without releasing his information after two steps of the exchange sub-protocol.Another attack is based on the quality of communication channel.If protocol party can co-operate or control the communication channel then he can control the result of the protocol.This paper gives a revised protocol to satisfy the requirements of the fairness.

关 键 词：公平交换协议 公平性 博弈论 形式化分析 

分 类 号：TP393[自动化与计算机技术—计算机应用技术]