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

摘要：

Zhou和Gollmann于1996年提出了一个简单有效的公平不可否认协议,但Kim等人后来发现该协议不具有时限性并提出了一个改进方案.虽然他们的改进解决了协议的时限性问题,但却高度依赖于各实体间时间的一致性,实现时需要在各实体间加入时钟同步机制,致使协议实现困难、低效.该文引入一种新的同步机制,并用它改进了Zhou-Gollmann的不可否认协议.新的改进使协议不需要时钟同步机制,还能通过使用一种称为证据链的证据管理机制使协议实现效率更高.使用SVO逻辑对改进后的协议进行形式化分析的结果表明它能提供时限性和公平性.

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

所属期刊栏目：28

分类号：TP393(计算技术、计算机技术)

资助基金：国家科技攻关项目2001BA101A12;江苏省重点实验室基金BM2003201;江苏省高技术研究发展计划项目BG2004036

在线出版日期：2005-03-31（万方平台首次上网日期，不代表论文的发表时间）

页数：共11页

页码：35-45