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

摘要

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