一种新的多方不可否认协议

来源 :计算机科学 | 被引量 : 0次 | 上传用户:leefenbo
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
首次指出不可否认协议运行结果可分为认证强公平和期望强公平,其中后者优于前者。利用GPS数字签,提出一个新的带离线可信第三方的多方不可否认协议,该协议实现了期望强公平且允许发方给不同的接收方同的消息,突破了先前协议只允许发方给不同的接收方发送同一消息的局限性。协议同时允许发方自由选择,使得交易灵活而符合实际。最后给出协议的安全性分析。
其他文献
目的:研究增血素口服液对苯肼所致家兔溶血性贫血的影响,方法:家兔背部皮下注射盐酸苯肼0.01g/kg,造成溶血性贫血模型,增血素口服液连续灌胃12天。结果:外周血中红细胞数、血红蛋白含在升速度
我院1995年至2000年应用三磷腺苷(ATP)静脉注射治疗室上性心动过速(SVT)34例,疗效满意.
自1992年至今我院对喘息型肺炎及肺炎心衰患儿均采用血管扩张剂酚妥拉明治疗,共有 12例出现严重呼吸困难,分析如下.
工作流模型验证成为工作流的重要研究领域之一。控制结构的正确性是工作流过程所需达到的最基本要求,本文着重控制结构方面的验证。本文使用UML-Statecharts建立控制结构模型,
人工流产术时止痛方法较多.我院选择了166例人工流产者,分别在术中使用安定、利多卡因两种扩宫镇痛方法,以分析其镇痛效果.
目的:探讨血清白介素8(IL-8),白介素(IL-10)在支气管哮喘(BA)发病中的作用、变化规律及临床意义。方法:应用双抗夹心法检测了哮喘患者血清IL-8、IL-10水平。结果:哮喘发作期血清IL-8水平明显高于缓解期及正常对照
OMG(Object Management Group,对象管理组织)提出的模型驱动架构(MDA,Model Driven Architecture)是解决不同中间件平台之间的集成以及技术升级所引起的问题的软件开发方法。MDA的
模型检验技术是形式化验证中比较成熟的技术,但随着设计系统规模的增加,状态爆炸已成为其发展的一个主要问题.为解决此问题,本文提出对系统进行抽象,建立不完全的状态模型,在此状
通过对数据流的两个相邻窗口的比较,检测出绝对变化较大的元素,以此来描述流数据的变化。把单个窗口中的数据流划分成若干层,在每层上对数据值域进行分段。然后在每层上定义若干