【摘 要】
:
2013年爆发的斯诺登事件证实了密码机制在实际应用过程中有可能被秘密地植入后门,从而导致密码机制无法提供理论上所证明的安全性,甚至在某些情况下其安全性会遭到完全破坏。
论文部分内容阅读
2013年爆发的斯诺登事件证实了密码机制在实际应用过程中有可能被秘密地植入后门,从而导致密码机制无法提供理论上所证明的安全性,甚至在某些情况下其安全性会遭到完全破坏。针对这个问题,近几年来国际密码学领域形成了“后斯诺登密码学”的研究热潮,主要探索现实生活中可能存在的颠覆攻击(即密码后门攻击)形式以及相应的有效防范措施。本文选择现实生活中常用的数字签名机制作为研究对象,深入研究了面向数字签名的颠覆攻击形式并探索了有效的防范措施。总体来说,本文的主要工作和创新点包含以下几个方面:第一,针对现有对称颠覆攻击模型无法刻画非对称颠覆攻击的问题,本文提出了面向数字签名的非对称颠覆攻击模型。与对称模型相比,本文所提出的非对称模型考虑了更强条件下颠覆攻击的不可检测性,因此适用于分析现实生活中可能存在的非对称颠覆攻击行为。现有工作表明对称颠覆攻击理论上只能实现弱不可检测性,而本文所研究的非对称颠覆攻击模型则首次考虑了颠覆公钥已知情况下攻击的不可检测性。第二,针对现有颠覆攻击技术效率低下且只满足弱不可检测性的缺陷,本文提出了可分割的数字签名这一概念,并针对该类数字签名机制设计了一种通用的非对称颠覆攻击技术框架。通过严谨的形式化分析,本文论证了该攻击框架显著提高了现有攻击技术的效率且在颠覆公钥已知条件下满足不可检测性。为了进一步阐述框架的可行性,本文选取了现有常见的数字签名方案并给出了相应的非对称颠覆攻击实例化构造。第三,针对面向数字签名方案非对称颠覆技术的隐蔽性和危害性,本文设计了一种具备抗颠覆攻击安全性的数字签名方案。基于2015年欧洲密码年会上谷歌安全学者所提出的密码逆向防火墙技术,本文以Waters签名方案为研究实例,实现了相应密码逆向防火墙方案的具体构造。通过严谨的形式化分析,本文证明了所构造的逆向防火墙方案在保证原有数字签名方案功能性和安全性的前提下具有抗颠覆攻击的安全性。总体来讲,本文进一步论证了现实生活中面向数字签名方案的颠覆攻击行为具有很强的隐蔽性和危害性,有利于增强密码学研究团体对于该种颠覆攻击技术的重视,从而促进相应防范技术的研究和改进。
其他文献
在如航空发动机叶片的温度应变监测等一些特定环境中,温度和应变的变化幅度很大,相互之间的交叉敏感会导致测量结果出现误差,光纤F-P型干涉结构和光纤布拉格光栅(FBG)已经广
In recent years,wireless communication applications have become a major part in our life.Almost every day we check our emails or on personal computer via wirele
随着科技的进步,双足舞蹈机器人逐渐成为人工智能机器人的主要研究对象。它不仅融合了控制理论、仿生学以及电子技术等多门学科,还被应用到了不同的学习领域。双足舞蹈机器人
平面形状变形在计算机图形学和几何处理等领域有着广泛的应用,该技术可以帮助用户根据自己的想法而获得新的形状。平面形状变形通常可表示为欧氏平面之间的映射函数,根据表示
伴随企业的发展,组织结构的复杂化和地理位置的分散极大地降低了SAP的沟通协作效率,建立快速而有效的沟通协作平台成为了企业的客观需求。基于社交的移动化企业管理模式让SAP迅速降低信息成本成为了可能。借助便携的移动设备,具有信息分流和明确导向性的新型企业社交协作应用将为企业提供高效的管理和协作平台。以SAP的企业社交应用项目Jam为背景,对如下内容做出了研究:1.基于业务需求研究了Jam App的Hy
近年来,在国家战略推进与民航强国建设的大背景下,Z市通用航空产业迎来了难得的发展机遇期。但发展的同时,不安全事件也同样频发:河南永翔通用航空有限责任公司一架飞机执行
智能交通监控是缓解城市交通问题的有效手段,先进的交通信息传感技术可以推进智能交通监控快速发展。激光雷达作为一种主动型传感器,具有抗干扰能力强、空间分辨率高、环境适
随着居民消费水平的逐渐提升和生鲜电商的快速发展,我国生鲜品消费规模呈现快速增长的趋势,消费者对生鲜品的运输时效性、品质完好度等方面提出了更高要求。然而,由于大多数
工业机器人在运行时产生的振动将降低其工作效率和疲劳寿命,如何抑制振动对提升机构的动态特性具有重要的指导意义。长期以来,研究人员致力于通过优化机构的材料参数以及减少
随着云计算和云存储技术的广泛应用,越来越多的数据拥有者倾向于将他们的数据外包给远程云服务器,以减少计算和存储的开销,但不可信的云服务提供商会使数据面临严重的安全威