面向硬件脆弱性分析的FPGA逆向工程研究

来源 :电子科技大学 | 被引量 : 1次 | 上传用户:sjk29001431
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
现场可编程门阵列(Field Programmable Gate Array,FPGA)供应链的全球化和FPGA的广泛应用引起了人们对于FPGA硬件安全问题的重视。目前存在一些以网表和RTL代码为研究对象的硬件脆弱性分析方法,但是对于大部分研究人员,他们只能得到FPGA上的配置文件,无法得到与配置文件等效的网表文件或者RTL代码文件。本文研究了可用于硬件脆弱性分析的Altera FPGA逆向工程方法,构建了配置文件逆向工具和网表逆向工具。使用这两个工具,可以直接根据配置文件得到等效的网表文件和RTL代码文件,所得网表文件和RTL代码文件可用于硬件脆弱性分析。本文的主要研究工作如下:1)介绍了FPGA的相关知识和开发流程,阐述了逆向工程的概念,总结了逆向工程的现有技术,介绍了硬件脆弱性定义以及分析硬件脆弱性的相关研究技术。2)构建了组成Altera FPGA逆向工程的三大基石:配置文件、网表文件和映射关系数据库。针对配置文件,我们介绍了配置文件的分类和格式,并确定了输入到逆向工具中的配置文件的类别。针对网表文件,我们分析了Altera FPGA两种网表的优缺点,并根据Altera FPGA底层结构自定义了适用于Altera FPGA的文本网表ADL(Altera Design Language)。针对映射关系数据库,我们使用最小更改方法确定每个支配位与文本网表配置信息的对应关系,并将其存储到数据库中,完成Altera FPGA逆向工程辅助数据库的搭建。3)设计了构成Altera FPGA逆向工程的两个工具:配置文件逆向工具和网表逆向工具。配置文件逆向工具依托映射关系数据库,将配置文件转换为等效的ADL网表文件。网表逆向工具根据ADL网表文件逐级恢复数据流信息,得到等效的RTL代码文件。我们使用ISCAS’85基准组合电路和ISCAS’89基准时序电路验证配置文件逆向工具和网表逆向工具的逆向准确率。4)使用未用电路识别(unused circuit identification,UCI)算法,验证了配置文件逆向所得的ADL网表文件和网表逆向所得的RTL代码文件可用于硬件脆弱性分析。
其他文献
本文以透岩浆流体成矿理论为指导,综合运用构造地质学、相关性分析、矿床地球化学和数理统计等多学科方法开展研究,同时结合地质数据,分析安妥岭钼矿岩浆活动与成矿作用的关
茴香醛是一类重要的高附加值精细化学品,广泛应用于食品、香料、化妆品、医药和电镀等领域。因此,研究如何制备品质优良的茴香醛具有很大的应用价值。目前电化学法合成茴香醛
钯(Pd)具有独特的催化性质,尤其对氢有较强的亲和力,在催化、光学、电学和磁学等领域具有广阔的应用前景。形貌是影响纳米晶体材料性质的重要因素,对其催化活性及选择性影响
孟加拉国自古就是中国的重要贸易伙伴,与中国的经贸往来历史可谓源远流长,最早的贸易记录甚至可以追溯到秦汉时期的“南方丝绸之路”。近几年来,中孟两国的双边贸易总额和增速都达到了两国贸易交往历史中最好的水平。两国的政治关系处于合作加深的状态,在2016年两国正式建立了战略合作伙伴关系。中孟两国双边贸易出现了新的特征,同时也遇到了新的问题。影响两国贸易潜力实现的贸易非效率因素也发生了一些新的变化。在这种新
学位
珠江口盆地是我国南海北部最重要的油气勘探开发区域,研究区位于盆地中部,包括番禺低隆起、白云凹陷北部和荔湾凹陷部分区域。本文综合应用层序地层学、地震沉积学等理论知识
新城疫病毒(Newcastle disease virus,NDV)作为危害养禽业发展的一种急性传染性疾病,迄今为止波及全球一百多个国家,造成了巨大的经济损失。同时,NDV作为溶瘤病毒的研究也有5
研究区长岭断陷的目标层泉头组和登娄库组为构造背景下的深层碎屑岩气藏,经过以往的油气勘探显示,该区的目标层气藏具有巨大的勘探前景。但是由于研究区受多期次构造运动的影
自Zadeh提出Z-numbers的概念以来,关于Z-numbers和其衍生概念的研究受到了大量的关注,但Zadeh曾提及的其中一个衍生概念――Z~+-numbers,却并未受到多少关注.相比较于Z-numbe
本文给出了复形的伴随预包络和伴随预覆盖的定义,研究了复形的伴随预包络和伴随预覆盖的存在性与性质,并讨论了复形的伴随预包络、伴随预覆盖、预包络和预覆盖之间的关系.作
蛋白质水凝胶具有良好的生物相容性/可降解性,及低细胞毒性/免疫原性等,因此能应用于组织工程、药物释放、再生医学等领域。但较差的力学性能限制了蛋白质水凝胶发展与应用,而目前增强蛋白质水凝胶的方法存在一些不足,如方法不通用、缺少有效的能量耗散机制和来源单一等。牛血清白蛋白(BSA)含有丰富的可反应官能团,可以使用多种方法制备出水凝胶。因此本文选用BSA作为蛋白质模板,使用不同的方法制备了三种基于BSA