【摘 要】
：
Zhou和Gollmann于1996年提出了一个简单有效的公平不可否认协议,但Kim等人后来发现该协议不具有时限性并提出了一个改进方案.虽然他们的改进解决了协议的时限性问题,但却高度
【机 构】
：
东南大学计算机科学与工程系南京210096
【基金项目】
：
国家科技攻关项目，江苏省重点实验室基金，江苏省高技术研究发展计划项目
论文部分内容阅读
Zhou和Gollmann于1996年提出了一个简单有效的公平不可否认协议,但Kim等人后来发现该协议不具有时限性并提出了一个改进方案.虽然他们的改进解决了协议的时限性问题,但却高度依赖于各实体间时间的一致性,实现时需要在各实体间加入时钟同步机制,致使协议实现困难、低效.该文引入一种新的同步机制,并用它改进了Zhou-Gollmann的不可否认协议.新的改进使协议不需要时钟同步机制,还能通过使用一种称为证据链的证据管理机制使协议实现效率更高.使用SVO逻辑对改进后的协议进行形式化分析的结果表明它能提供时限
其他文献
如今网络技术在人们生活和生产当中占有重要的地位,网络通信也已经成为人们沟通交流的重要手段,但是随着一些外部电磁干扰的出现,大大降低了通信质量。基于此嵌入式的通信干
随着当今社会科学技术的不断发展,计算机网络技术已经开始在各个领域中广泛应用。在电子信息工程之中有着十分庞大的信息数据,而计算机网络技术的应用则可以将这些数据进行更
有界单向函数是一个新的密码学概念．有界单向函数是为了研究设计更为灵活、更实用的密码系统的基础而提出的．该文的作者在以前的文章中，对有界单向函数与一般单向函数的关系进行
提出了一种基于peer-to-peer技术的分布式Web缓存共享系统:BuddyWeb.该系统的核心理念是让企业网络中的所有PC能够相互共享浏览器中的本地缓存,从而形成一个高效的、大规模的
作为普通的数字签名的一种变形，代理签名允许一个代理签名人代替原始签名人进行签名．代理多重签名是代理签名的一种扩展形式，它允许两个或多个原始签名人把签名的权力委托给同一
提出了一种网格分解二维投影边界点的三维模型检索方法．首先，对三维模型进行位姿对准、投影变换和边界点提取；然后，对提取的投影边界点用网格分解的组合方法参数化，并对该参数化函
20世纪80年代以来，随着PC机的普及和因特网的大发展，信息传输、处理的安全、可靠对每一个人都至关重要，安全可靠的电子商务、电子政务对经济社会发展、国家的安全稳定有着重要意
检验检测实验室是对产品等相关物品的质量和安全进行检验的地方,这就会对检验检测实验室的要求也会提高,对检测检验实验室的管理是为了让实验室的使用在一定的条件下充分发挥
该文给出了一个基于身份的具有消息恢复功能的签名方案，该签名方案可以看作是Abe—Okamoto签名方案的基于身份的版本．在随机预言模式下，证明了该方案对自适应选择消息和身份攻击
机械电子是机械技术与电子技术结合运用的重要表现,在促进我国经济发展中发挥了重要的作用。而传感器技术在机械电子中的应用,通过其灵敏的感知功能,能够有效提升机械电子的