一种新的双方不可否认密码协议及其形式化分析

来源 :厦门大学学报:自然科学版 | 被引量 : 0次 | 上传用户:chenpingaaa351
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
不可否认服务是电子商务中重要数据和敏感信息通过网络传输的安全基础.不可否认协议正是专门为了提供不可否认服务而设计的网络协议.现有的密码协议很少有满足严格意义上的不可否认性的.我们对现有的一种双方不可否认密码协议进行了分析和改进.新的双方不可否认密码协议既克服了原协议的不足,能抵制中间人攻击,冒充攻击,重放攻击,又满足公平性,不可否认性等安全性要求;既避免了可信第三方的性能瓶颈问题,保证了传输信息的机密性和完整性,又达到了严格意义上的不可否认性.采用SVO逻辑进一步分析和证明了新协议的双方不可否认性质.
其他文献
探讨医师考试成绩与平时成绩的相关关系,改革现有的教学模式,培养高素质的临床医学人才,是当前医学教育研究的热点话题.本文选取2000年第94次日本国家医师考试题和2000年第2
在高极化自旋体系中由于强辐射阻尼效应的影响,常规的纵向弛豫时间(T1)测量方法不再适用或需修改.本文提出了高极化自旋体系T1的分子间多量子相干测量方法.通过相干脉冲梯度场
2019年4月25日,北京市互联网法院,作出了人工智能创作物著作权侵权案的首例生效判决。在规定欠缺、立法模糊、案件新颖的情况下,该判决作为第一份生效的裁判文书其参考价值明显。以该案例为切入点,人工智能创作的核心法律问题分为四个。第一,人工智能是否具备法律主体资格。这关系着人工智能创作主体资格的判定,以及著作权的权利主体认定。由于人工智能技术发展和哲学层面的限制,人工智能不具有自然人主体资格;从拟制
2012年2月15日至16日,住房和城乡建设部城乡规划督察员座谈会在北京召开。会议旨在贯彻落实住房和城乡建设工作会议精神,全面部署城乡规划督察工作,加大城乡规划实施监督力度。
在完备概率空间(Ω,F,P)中。讨论了一类带非超前泛函的条件Gauss随机扩散过程方程组解的连续惟一性及其具有连续惟一强解的条件。并在方程组存在相应连续惟一强解的情况下。讨
报道了多用途的吡咯烷类氮杂糖中间体6的不对称合成.起始原料(2R,3R,4S)-2-苄氧甲基-3,4-二苄氧基-5-氧代吡咯烷-1-羧酸叔丁酯(8)由手性合成砌块酒石酸酰亚胺7按照先前本实验
构建以消费驱动为主的经济增长动力机制有其必要性和紧迫性。我国分配关系失衡制约消费需求的问题愈趋严重。通过调整分配格局建立促进经济增长的长效机制。