优化的匿名电子现金支付协议及其形式化验证

来源 :计算机应用研究 | 被引量 : 0次 | 上传用户:xwg1217
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
针对匿名电子现金支付协议存在的缺陷,提出了一种能够满足多种安全属性的优化协议。将会话密钥的协商与使用分为两个阶段进行,确保协议密钥保密性的实现;引入电子证书证明交易主体的身份,确保协议非否认性的实现;借助可信方传递付款收据,避免交易主体不诚实所导致的公平性缺失;引入FTP传输方式传送电子货币和付款收据,确保实现可追究性与公平性,进一步增强协议的鲁棒性。对优化协议进行形式化验证,结果表明,优化协议满足密钥保密性、非否认性、公平性、可追究性、原子性等安全属性。
其他文献
从医院文化的内涵和特点,分析医院文化对医院核心竞争力的影响。医院核心竞争力的提升能对医院文化建设起到促进作用,本文提出构建医院文化的6个具体途径和方法。
基因标记物在临床已有许多研究与应用。本文综述了近年来基因标记物在头颈部肿瘤中早期诊断、精确分期及判断预后等方面的应用研究。
<正>一、公共法律服务的现状及存在问题当前,随着我国经济社会的快速发展,社会结构深刻变动,公共法律服务体系建设滞后、法律服务资源配置不均、公益性法律服务提供不足等矛
本文主要研究了苏南地区制造业对于大数据技术的应用现状,并按照企业类型的不同进行了分类。同时指出其在大数据应用过程中所存在的不足,并给出了解决对策。 This article m
从技术路线、基本原则、关键技术、操作步骤、注意事项等方面介绍了清香型烟叶上、中、下部烟叶在变黄期、凋萎期、定色期和干筋期的烘烤工艺技术。
随着信息技术不断进步,自动化仪表在石油化工行业的应用越来越广泛,而且因其引入了微型计算机编程、分析功能以及随时存储器,使其具有更为强大的计算能力、信息存储能力、数
临床上传统的药物及用法降压效果虽然较为理想,但由于不能有效的抑制清晨血压的陡升,致使目前高血压的治疗原则由如何治疗已向择时服药转变。由于机体对药物的反应性有差别,导致
主要论述在ORACLE数据库中对查询结果以及在多表连接时如何提高SQL查询效率。
<正>第十二届全国语文辞书学术研讨会拟于2019年10月下旬在重庆市西南大学举行。会议由中国辞书学会语文辞书专业委员会主办,西南大学汉语言文献研究所、人民教育出版社承办,
品牌与中国制造无缘,甚至绝缘。从经济总量上讲,当今中国GDP世界第二,外贸出口总量世界第一,但中国出口的商品中有几个是叫得响的中国品牌?没有。有几个外国人认可的品牌?没