Zhou-Gollmann不可否认协议的一种新的改进  

A New Improvement of Zhou-Gollmann’s Non-Repudiation Protocol

作　　者：黎波涛[1] 罗军舟[1] 

机构地区：[1]东南大学计算机科学与工程系,南京210096

出　　处：《计算机学报》2005年第1期35-45,共11页Chinese Journal of Computers

基　　金：国家"十五"重大攻关项目"网络教育关键技术及示范工程"(2 0 0 1BA10 1A12 );江苏省网络与信息安全重点实验室课题 (BM2 0 0 3 2 0 1);江苏省高技术研究项目"主动式安全防范系统的研究"(BG2 0 0 40 3 6)经费的资助 .

摘　　要：Zhou和Gollmann于 1996年提出了一个简单有效的公平不可否认协议 ,但Kim等人后来发现该协议不具有时限性并提出了一个改进方案 .虽然他们的改进解决了协议的时限性问题 ,但却高度依赖于各实体间时间的一致性 ,实现时需要在各实体间加入时钟同步机制 ,致使协议实现困难、低效 .该文引入一种新的同步机制 ,并用它改进了Zhou Gollmann的不可否认协议 .新的改进使协议不需要时钟同步机制 ,还能通过使用一种称为证据链的证据管理机制使协议实现效率更高 .使用SVO逻辑对改进后的协议进行形式化分析的结果表明它能提供时限性和公平性 .Zhou and Gollmann proposed a fair non repudiation protocol in 1996. But Kim et al found it unfair later and proposed an improvement. While their improvement makes the protocol fair, it depends heavily on the time information of the participants and needs clock synchronization mechanism when implementing it. This makes the implementation difficult and inefficient. In this paper, a novel synchronization scheme is introduced to improve Zhou Gollmann’s non repudiation protocol. The newly improved protocol needs no clock synchronization mechanism between principals and can be efficiently implemented by using an efficient evidence management scheme called evidence chaining. Analyzed using SVO logic, the new protocol is proven to be able to provide timeliness and fairness.

关 键 词：不可否认 公平性 数字签名 时限性 SVO逻辑 证据管理 

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