抗硬件注入攻击的模算术芯片结构研究

来源 :武汉大学 | 被引量 : 0次 | 上传用户:armodmli
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文研究运算器抵御硬件故障注入攻击的结构,在现有工作基础上研究密码协处理器的关键部件大素数模算术运算器的可检测硬件注入攻击的ASIC结构设计问题,并对相应的结构做了性能优化.大数模算术器件是许多公钥密码算法(如RSA和ECC)的核心部件,也是其中最耗时的部件.一直以来,大数模运算的快速实现和安全性是密码学领域的两大研究热点.其中,大数模运算的快速实现有相当详尽的研究,研究者们开发了大量的技术和算法来加速大数模算术.然而,由于攻击技术的发展,特别是硬件故障注入攻击的发展,使得大数模运算的安全性需要更多的关注.自然发生的故障或者人为注入的故障会使的密码芯片报废或者泄露出敏感信息.针对这一危机,有必要为大数模算术的硬件实现提供保护策略,这也是本文所关注的问题.首先,针对硬件故障注入攻击的威胁,提出了一类可抗硬件注入攻击的安全素域模乘法器,通过检测和报告算术部件中由注入故障引起的错误来抵御硬件故障注入攻击.确切地,每个安全结构都可以分为两个模块,其一为主功能模块,用以计算素域Montgomery模乘法,另一模块称为错误检测模块,用以检测自然发生或者人为注入的故障所引起的错误.其中,主功能模块被设计成高基底的脉动结构,并根据参数应用方式不同分为多种不同的计算型;错误检测模块使用线性算术码作为理论基础,检测并定位注入故障所引起的错误,且工作模式为本文定义的两种错误检测模式中的任意一种.本文探索了计算型和错误检测模式的多种组合,以找出二者最适宜的组合方式,并优化了主功能模块的结构以提高其吞吐率.在本文的两种错误检测模式中,平均故障延时占整个Montgomery模乘法运算时间的比例比相关研究者在针对二元域Montogmery模乘法保护的工作中要短.此外,第1Ⅱ模式的错误检测模块还能够对故障发生的位置进行定位.以1024比特的安全脉动素域Montgomery模乘法器的ASIC实现为例,当其计算型为(32×3),且错误检测模式为第Ⅰ模式时,错误检测率为99.9985%,而错误检测模块带来的硬件开销和时间开销分别只有26.73%和0.73%.除此之外,平均故障延时占Montgomery模乘法时间的比例为8.56%,且其主功能模块的吞吐率比当前最好的结构快约34.44%.当错误检测模式为第1Ⅱ模式时,单一错误的检测率为96.77%,该值会随着错误个数的增多而指数增长,且此时平均故障延时占Montgomery模乘法时间的比例仅为1%左右.另外,当故障注入的位置不超过3时,第Ⅱ模式的错误检测模块可以以90.63%的概率定位故障注入的位置.其次,本文将针对素域Montgomery模乘法器的保护方案扩展到素域模除法结构中,在保持与素域Montgomery模乘法器当中相同的错误检测性能的同时,通过调整脉动模除法器中处理单元的位宽,大大降低了模除法器的输出缓存所占空间,提高了资源利用率.最后,综合利用可抗硬件故障注入攻击的素域Montgomery模乘法器和模除法器,构造了安全的RSA和ECC密码算法,在完整的公钥密码算法中实施了对硬件故障注入攻击的防护.
其他文献
本文主要用Cartesian current理论来研究几类特殊集值映射的解析性质,包括结构性质,弱连续性,逼近性质等等,还研究了这些结果在Hessian测度和广义行列式中的应用.第一章是引言部分,主要介绍了 Cartesian current理论的研究背景和研究进展,以及本文将要讨论的问题.然后给出一些预备知识,包括论述过程中涉及的概念以及基本事实,比如关于集值映射,current,rectifi
纳米材料的优越性能不仅仅体现在它们有一个可控制的光学响应,更是能够将不同组分的材料结合在一起形成新的复合纳米结构。在纳米尺度下,金属表面等离激元共振能够诱导产生极大的局域电磁场增强,从而与其复合结构中的半导体或者有机分子发生强烈的相互作用,导致整个体系出现新奇的光学效应,对我们进一步理解光和物质相互作用有着重要的现实意义。在本论文中,我们对纳米金属表面等离激元与分子激子以及半导体激子相互作用体系中
核酸中含有大量不同的共价化学修饰,这些化学修饰碱基在真核生物细胞中发挥着各自的功能。在这之中,5-甲基胞嘧啶与N6-甲基腺苷分别作为DNA与RNA中的最丰富的表观遗传学修饰,在基因的表达及各种生物过程中发挥着重要调控作用。去甲基化现象以及氧化中间体的发现,进一步丰富了表观遗传学功能。本论文主要研究了两个部分:N6-甲基腺苷化学去甲基化研究以及利用化学探针检测5-醛基胞嘧啶。N6-甲基腺苷是广泛存在
该文聚焦于新时代高校信息类专业学生的培养探析,从目标导向出发,分析高校信息类专业学生的特点和培养目标,同时基于物理学中协同论理论,探求"三全育人—十大育人"协同发展的理论支撑,从学生工作视角下提出信息类专业学生培养的实现路径。
本文主要研究来源于流体动力学和稀薄气体动理学理论(kinetic theory)的两类非线性偏微分方程定解问题的整体适定性以及整体解大时间渐进行为的精细刻画,主要内容包括可压缩Navier-Stokes方程组在一维以及高维对称情形下大初值整体解的存在性及大时间行为,以及带摩擦外力的Boltzmann方程的软势情形在全局Maxwellian附近的整体解的构造.全文主要分为两大部分.第一部分我们研究可
解决某一具体领域问题通常难以完全依靠单一的知识源,而是会以多个知识源的协同为基础,这是因为有时一个知识源无法解决问题,而多个知识源共同协作能够提供适合的解决方案。因此要解决问题的领域专家就转而求助于将不同来源的相关知识进行集成,以构建一个能够解决具体应用问题的知识对象。知识集成的目标是生成一个全面的知识库,但是由于对知识源整体的集成会加剧在多个知识源之间实现互操作的复杂性,因此,为了在获得满足问题
自从Tim-Berners Lee提出Semantic Web之后,本体的研究逐渐引起了许多人的关注,并被应用到许多领域。在信息管理领域,由于信息的异质异构导致了“信息孤岛”的问题。针对这一问题,许多研究者都提出了不少解决方案,包括如数据联邦,中间件,数据仓库以及分布式数据库等方法,但都面临着无法很好地解决语义冲突的困境。由于本体能够清晰地定义概念之间的语义关系,并能被机器所理解,所以本体被广泛应
随着计算机技术的飞速发展和地理信息系统在地图制图领域中的广泛应用,对数字环境下地图综合自动化的需要越来越紧迫。地图自动综合是地图学与GIS(Geographic information system)领域的一个难题。一些复杂地图综合算子,如移位、典型化等的自动化程度仍然较低。尽管国内外学者对地图综合移位算法进行了长期不懈的探索,但目前仍存在诸多问题没得到有效解决,突出表现为以下几个方面:(a)移位
随着航天遥感技术的迅速发展,航天遥感图像已经广泛应用于气象预报、资源普查、环境监测、防灾减灾以及军事侦察等多个领域,在国民生产生活、国防安全保障中发挥着重要作用。图像处理技术是推动航天遥感迅速发展的关键技术之一,是提高遥感数据有效性和可解译性的有效手段,遥感图像处理技术已经成为了遥感科学与技术领域研究的前沿和热点。文章对涉及航天遥感图像去除冗余数据的若干算法进行了研究,着重研究了减少遥感数据量的压
互操作性,关联要因多维,约束情景复杂。对业务系统的互操作能力实施准确的分析与度量是一个挑战性难题,但却是非常必要的。目前,互操作性的研究范围主要集中于互操作性的定义、数据层的互操作性以及元数据层的互操作性,而模型层的部分语义互操作以及互操作能力度量仍具有较大的创新研究空间。业界存在多种业务模型,模型的定义、描述、结构、功能以及支持工具都存在差异;同时,对于互操作性的研究,业界主要关注于同构模型的语