【摘 要】
：
针对在非否认协议公平性的形式化分析中,如何弱化初始假定和避免状态空间爆炸等问题,提出了扩展串空间方法.通过将签名运算引入串空间理论,从而对串空间理论的项集合进行重新
【机 构】
：
西安电子科技大学综合业务网国家重点实验室,西安交通大学电子与信息工程学院
论文部分内容阅读
针对在非否认协议公平性的形式化分析中,如何弱化初始假定和避免状态空间爆炸等问题,提出了扩展串空间方法.通过将签名运算引入串空间理论,从而对串空间理论的项集合进行重新定义,进一步通过对子项关系、攻击者迹和自由加密假定的扩展,并结合丛概念,构成了扩展串空间.分析非否认协议的公平性,首先将协议行为归纳为攻击者串、发送者串、接收者串和可信第3方串,以此构造协议的扩展串空间模型,然后结合协议迹和定理证明验证丛中存在发送者串等价于丛中存在接收者串,从而证明非否认协议公平性.通过扩展串空间方法对Zhou-Gollman
其他文献
新课程改革背景下课堂教学是实施和深化素质教学的主阵地.如何实现数学教学由应试教育向素质教育转变.怎样变单纯的数学知识传授为学生学习能力的培养,直至大面积提高数学教
提出了一种用于颗粒强化复合材料力学性能数值模拟的空间结构模型，并利用该模型对典型颗粒强化金属复合材料－高相对密度钨合金的力学行为进行了数值模拟计算，结果表明：拉伸变形时
基于单循环燃料喷射控制策略及冷起动,在一台125mL单缸电控喷射点燃式发动机上,试验研究了LPG（液化石油气）与甲醇循环喷射量的质量比和LPG迟后甲醇喷射时刻对甲醇掺烧LPG发动机
商业贿赂是伴随着市场经济的发展而出现的一种不良社会观象,对社会发展有很大的负面影响.自商业贿赂现象出现后,各国都采取各种措施予以禁止,我国也对治理商业贿赂行为高度重
本文结合新版本的ＡＳＭＥ规范（Ｅ９５、Ａ９５）及ＡＳＭＥ协作网讯，简要介绍ＡＳＭＥ的组织机构、主要活动内容、出版物和联机检索等概况。
雁来雁去无痕,云卷云舒亦安。——题记想成为帝王蝶的一只：翩跹过加拿大的夏季,飞舞过多少世的行迹。半空中梦一场庄周冥思,分不清这迷醉源于庄周抑或是无名蝶辈。渴了,饮那萼
对传统设计理论－通用设计理论进行了拓展，提出了多Ａｇｅｎｔ协同映射原理。研究了该映射原理下的设计过程描述模型和设计活动认知模型。根据协同设计的框架模型与Ａｇｅｎｔ系统的总体映射方法，得到
从1994年开始，电力开发公司EPDC就根据71MW FPBC示范电站的动行对其系统进行了评估，Wakamatsu是世界上第一个装备100％容量热烟气过滤器的电站，机组从93年10月投运以及由于出现一
有关资料报导，国内大型电站锅炉吹灰设备投运率不足３０％，浪费了大量能源。本文针对国内大型电站锅炉吹灰设备投运率低的问题进行了分析探讨，还为提高吹灰设备投运率提出建议。
介绍了混沌的基本概念，给了了时间序殊相空间重构方法和关联维，Ｌｙａｐｕｎｏｖ指数的计算方法，以实际海杂波时间序列为例进行分析研究，证明海杂波具有混沌特性。