基于可疑电路结构分析的硬件木马检测技术研究

来源 :电子科技大学 | 被引量 : 5次 | 上传用户:exiaodong1986
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
目前集成电路(IC)的安全性获取了在学术界、政府机构以及制造业广泛关注。部分原因是设计外包和制造向全球范围内的低成本地区迁移,部分是因为对第三方的知识产权(IP)和来自不同供应商的设计自动化工具的日益依赖,使得目前集成电路供应链被认为比以往任何时候更容易受到恶意修改,因此尽快开展可靠性芯片设计及硬件木马相关研究刻不容缓。本文基于硬件木马设计的基本特性,提出一种基于可疑电路结构检测的木马检测技术,这种检测技术可以应用于任何设计阶段门级网表的硬件木马检测,不仅能保证芯片设计阶段的可信,还可以确定木马在芯片设计的哪一个阶段插入。经研究验证,该检测方法能有效定位到电路中存在的特征明显或高隐蔽性的硬件木马,针对面积很小且隐蔽性强的硬件木马也能达到很好的检测效果,能有效检测出面积大于等于0.0038%的隐藏型木马。本文的研究工作主要包括以下内容:(1)硬件木马特性及现有检测方法研究。分析硬件木马的本质特性及原理,总结现有检测方法的优缺点,从硬件木马的隐蔽性特质出发,结合现有木马检测技术提出基于可疑电路结构分析的硬件木马检测技术;(2)可疑电路结构剖析。从硬件木马基本特性出发,总结了电路中极有可能是硬件木马的基本电路结构。利用Perl语言强大的文本处理能力和正则模式匹配,将待测电路网表转化为便于结构遍历的中间数据存储形式。研究了利用Perl对每种可疑电路结构的遍历匹配过程,重点分析对比了获取电路中低活性可疑结点的两种不同方法,通过对大量的数据分析和处理确定了两种方法的适用性;(3)硬件木马设计及检测研究。在UART基准电路的RTL级和门级设计了5种不同类型和结构,大小从1.05%到71.52%不等的硬件木马,并编程实现将不同木马电路随机插入到原电路网表的不同位置。在插入设计木马电路的10个待测UART电路上实现木马电路的检测和定位,并分析木马电路功能;(4)自动化平台搭建及检测结果对比。利用Perl内嵌的Tk模块搭建自动化检测平台,在未知木马电路的AES受感染电路上实现硬件木马的直观高效检测。在AES原电路中随机插入木马面积占总电路面积比0.0014%到0.026%不等的木马电路后进行检测,对比其它文献中的检测效果,结果表明本文检测方法在检测小型木马上效果更优。
其他文献
随着互联网的日益发展,人们逐步开始接受通过WEB这种途径来获取信息或者发布消息。现如今,人们生活的各方面都离不开互联网的支持,其便利性有目共睹,也因此其安全问题也随之
<正> 北京市委宣传部、北京市文物局和北京博物馆学会,于1996年3月份,联合举办了“我喜爱的博物馆展览”评选活动。这次“我喜爱的博物馆展览”评选活动的“评委会”,是由各
铁路是国家的基础设施,对铁路的客运量进行准确地预测具有重要的理论意义和实际应用价值。对客运量发展趋势进行预测是正确制定铁路客运营销战略的前提和基础,通过建立灰色预
<正>1 线路中的功率损耗 1.1 末端带有一个负荷的线路 (1)三相线路 △P=3I2R=3I2R×1O-3kW (1) 以功率表示,则 △P=(P2+Q2)/U2HR×103 kW (2) (2)单相线路 △p=2I2R×10-3kW (3)
学生阅读生物课本时,抽象的文本有时会成为学生学习知识的障碍。教师引导学生应用建构模型的方法学习知识,就是要引导学生学会把抽象的知识变成具象的图形,应用直观的方法分
采用电镜技术研究了三唑类杀菌剂戊唑醇(tebuconazole)对赤霉病菌 Fusarium gra-mineaum 侵染小麦穗部过程的影响。结果表明:人工接种前2天施药,可推迟外稃内表皮、内稃及子
<正>在大庆油田50年的发展建设过程中,以逐步认识到生态环境保护的重要性。从完善现有污水处理设施、治理老污染源、避免产生新污染源、到改善油田生态环境、加强环保科研等
据统计,全球每三部汽车当中就有一部(每年大概超过2 000万辆车)是通过柯马的生产系统制造的。近几年,柯马基于在汽车行业所建立的深厚根基,不断发展壮大,将自身的技能和知识运
从植物中寻找抗肿瘤成分已成为开发治疗癌症药物的重要途径,中药墨旱莲(Eclipta prostrasta L.)是我国分布广泛,产量丰富且以其广泛的药用价值成为一种备受关注的中草药。墨
近年来,我国经济进入新常态。受经济结构转型与国际金融危机的双重影响,我国许多企业经营状况陷入困境,贷款违约现象激增,商业银行不良贷款率从2011年的0.9%持续上升到2016年