作者：黎波涛; 罗军舟不可否认公平性数字签名时限性svo逻辑证据管理
摘要：Zhou和Gollmann于1996年提出了一个简单有效的公平不可否认协议,但Kim等人后来发现该协议不具有时限性并提出了一个改进方案.虽然他们的改进解决了协议的时限性问题,但却高度依赖于各实体间时间的一致性,实现时需要在各实体间加入时钟同步机制,致使协议实现困难、低效.该文引入一种新的同步机制,并用它改进了Zhou-Gollmann的不可否认协议.新的改进使协议不需要时钟同步机制,还能通过使用一种称为证据链的证据管理机制使协议实现效率更高.使用SVO逻辑对改进后的协议进行形式化分析的结果表明它能提供时限性和公平性.
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
