密钥链多方非否认协议

来源 :计算机科学 | 被引量 : 0次 | 上传用户:freshgrandpa
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
多方非否认协议通常仅考虑一轮消息交换的情况,很少讨论相同参与方进行多轮消息交换的情况。基于后者对多方非否认协议进行优化,提出了一种利用密钥链实现的多方非否认协议,以有效减轻1vrP存储负担。协议由Initialization,Exchange,Abort和Recovery 4个子协议以及争议处理方案组成。分析表明,协议满足公平性、时限性和机密性。
其他文献
通过对理想化分组交换网络的形式化功能分析,指出了当前互联网在提供OoS保证方面存在的不足,分析了互联网不能为交互式实时业务提供服务质量保证的原因,对新的分组网络的体系结
在整个“软件人”安全体系结构中,授权是给特定的委托人授予特定资源访问权的一种访问控制机制,有必要对其内涵和表示形式进行深入探讨。扩展了大多数现有Agent平台所依赖的Jav
服务描述在面向服务计算中的作用至关重要,描述不足是服务描述的主要问题。以环境本体为基础,提出了一种投影描述方法,给出了该方法描述所需信息及描述产生的结果,陈述了描述的步
在深入研究与分析Agelts系统及其源码的基础上,对网络虚拟机器人SoftMan迁移计算涉及到的基本技术问题进行了系统的分析与描述。利用面向任务的动态更新迁移计划方式和动态结
实现复杂问题的并行化处理的最基本问题之一,是如何将复杂问题分割成若干个子问题。首先研究了凸壳的一些特殊几何性质,然后利用这些性质将所讨论的点集分割在一些网格中。同时
将GPS的技术优势和临近空间的发展需求相结合,分析了临近空间平台应用的技术特点,提出了设计临近空间增强定位系统,从系统融合和增强定位的角度分析了约束问题及其技术处理方法,
脊波变换是一种源于小波又高于小波的多尺度几何分析方法,应用于图像中。借鉴小波去噪的思想提出一种新的图像去噪方法,采用基于Bayesian估计的自适应阈值和半软阈值技术进行去噪,针对脊波变换所产生的轻微的"划痕",引入平移不变的方法消除这种条纹干扰。实验结果表明,该方法较好地处理了图像细节和边沿保留与噪声抑制的矛盾,是一种有效的去噪方法。
模型检测应用于检测软件可靠性具有重要意义。介绍了一种基于谓词抽象和反例引导抽象求精技术对源程序进行建模和验证的模型检测方法,并结合自行研发的Jchecker工具详细介绍了
要实现Web服务组合自动快速准确性,必须对Web服务进行语义标注,使计算机能在“理解”服务的基础上实现快速准确查找和自动组合。Agent以其独特的性质,被普遍认为是可以代替人做
利用已有的数据资源以自动或半自动方式构建本体是实现语义Web的任务之一。在分析了现有研究成果及不足的基础上,给出了一个比较系统的基于关系数据库的OWL本体构建方法。介绍