基于机器学习的门级网表硬件木马检测

来源 :兰州交通大学 | 被引量 : 0次 | 上传用户:lxp3754
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
随着现代化和自动化的发展,集成电路(Integrated Circuit)在系统的控制和运行中已成为一个至关重要的组成部分。近年来,半导体行业积极采用无晶圆厂芯片制造模式,即通过第三方供应商制造设计,攻击者会利用这个漏洞,在芯片中植入硬件木马,破坏芯片的安全。且这种方法植入方式具有隐蔽性和侵入性,因此很难保证制造的芯片产品是100%安全的。在此背景下,如何保障底层硬件的安全不遭受损害成为热点话题,越来越多的研究学者开始投入到硬件木马的研究中,并且提出了许多检测方法,主要包括破坏性工程、边信道分析、逻辑激活等检测方法。但这些检测方法都存在缺陷,如对大规模的电路检测效果不理想、对检测设备要求极高、容易受到一些工艺噪声的影响、需要原始电路作为对比等。本文针对常规硬件木马检测方法中存在的问题,将硬件电路中门级网表的线网特征与不同的机器学习分类方法相结合,提出基于机器学习的门级网表硬件木马检测方法。该方法根据线网特征对电路中的正常线网和木马线网进行分类,将检测待测电路中硬件木马的问题转变为对待测电路中线网的二分类问题。首先将硬件木马的检测重点放在门级网表阶段,选用不同基准测试电路,通过分析电路中木马线网和正常线网之间不同的特征,提取出特征数据集。然后根据数据集的规模大小,采用不同的机器学习方法。最终根据特征数据集训练分类模型,对需要检测电路的线网进行分类,达到检测硬件木马的目的。实验结果表明,通过将硬件木马线网特征与机器学习方法相结合,能较好地检测出硬件木马,且提高了线网的识别准确率。论文的研究内容为以下三个方面:(1)阐述硬件木马的相关概念、基本结构及主要分类;研究常规的硬件木马检测方法,并对每种检测方法的优缺点进行归纳总结;分析集成电路在门级网表阶段硬件木马电路和正常电路的不同线网特征,确定研究方向。(2)针对小样本电路数据,提出了一种基于粒子群优化支持向量机(Particle Swarm Optimization-Support Vector Machine)算法的检测方法。首先根据选用的基准电路,对木马电路和正常电路的线网特征进行分析,提取出8维特征向量,然后利用SMOTE(Synthetic Minority Oversampling Technique)过采样算法对提取的特征数据集进行预处理,改善数据集类别不平衡问题,接着用PSO优化算法寻找SVM的最优参数,以获得较高的识别准确率,最后利用该分类器检测待测电路,识别硬件木马。最终实验结果表明,使用粒子群优化支持向量机算法能够较好解决小数据样本中硬件木马的识别问题,改善了整体电路线网的识别正确率。(3)针对大规模电路数据,提出基于深度森林(Deep Forest)算法的检测方法。首先根据选用基准电路门级网表特征,增加线网特征,提取出9维特征向量,然后增加多粒度扫描过程,使用不同的滑动窗口对输入的线网特征进行提取,产生不同维度的特征实例增强线网特征之间的相关性,并将最终滑动窗口输出的特征向量作为级联森林的输入向量。在级联森林中,通过多个不同类型的森林分类器对输入特征向量的特征信息充分学习,提高模型的整体性能。最终实验结果表明,使用深度森林算法能够较好解决大数据样本中硬件木马的检测问题,改善了整体电路线网的检测准确率。
其他文献
近几年来,云计算、人工智能和物联网等技术日新月异。芯片在计算、汽车、国防、航空航天、医疗、电信、网络、家用电器、便携式设备和无线应用等众多领域有着广泛的应用。芯片已经成为一个国家的基础性战略资源。由于硬件设计的复杂性日益增加,为了减轻硬件设计人员的负担,通常会引入第三方硬件知识产权(IP)模块。然而,第三方IP的普遍使用引发了安全问题,如攻击者插入硬件木马。目前没有一种单一的检测方法能够完全解决这
在自然界中,恐惧效应随处可见,恐惧不仅可以帮助生物提高警觉性,还可以帮助生物躲避危险,恐惧也是生物与生俱来的心理反应.同时恐惧也会对生物的繁殖能力、觅食行为、生理状态等造成一定的影响.这对于大型食肉动物消失带来的生态失衡问题提供了很好的解决思路.近年来,由于人类的过度控制,导致一些大型食肉动物面临灭绝的问题,食物链顶端的缺失会使生态系统的平衡遭到破坏,应该如何在短时间内调节生态平衡是人类面临的重大
无人机(Unmanned Aerial Vehicle,UAV)一方面可以作为辅助设备协助传统网络进行通信,提升网络性能;另一方面可以快速搭建无人机网络,为地面通信设施提供连接。然而,无人机的高移动性和能量受限等特点也为无人机辅助无线通信带来了诸多性能方面的挑战。根据特定应急场景的通信需求,本文研究了无人机辅助无线通信系统在自然灾害场景下的吞吐量最大化问题。无人机作为空中基站和移动中继辅助毁坏的地
近年来随着高速铁路技术的发展和完善,列控车载设备结构变得越来越复杂,使得故障种类存在多样化的特点。而传统的故障诊断方法依赖大量的专家知识和技术人员的维修经验,导致故障在诊断的过程中工作量加重无法进行及时有效的诊断,并且存在误诊和漏诊的现象。因此本文以历史故障数据文本做为研究对象,利用文本处理技术实现故障文本的词向量表示,然后采用神经网络模型来进行故障特征的提取以及故障诊断。本文具体研究内容包括:(
学位
铁路安全是铁路运营保障体系中的关键内容,伴随着铁路规划和铁路网建设的不断推进,以及铁路营运时间的持续增加,钢轨表面缺陷以及扣件异常等轨道缺陷问题也逐渐突出,因此对这些缺陷进行及时准确的检测对于保障铁路运行安全意义重大。传统轨道缺陷检测算法训练过程复杂,且不具有泛化能力,不能满足当前复杂的铁路环境和检测场景的应用需求。基于机器视觉的轨道缺陷检测相较于传统方式,在检测速度和精度上都有较大提高,且算法可
我国经济仍在迅速发展,城市化建设及基础设施建设仍在不断加快,近年来的棚户区拆迁、老旧小区改造也在大力推行,城市面貌焕然一新的同时,阻碍其可持续发展的矛盾也日益显现,制约城市健康、可持续发展的其中一个主要矛盾就是--城市内涝。可以说一到雨季我国大部分城市都面临着在城市里“看海”的尴尬。因此,城市水利工程的进一步发展是势在必行的,换句话说,城市化高楼大厦的崛起不应忽略了基础设施的建设,市政道路、水利等
进入新时代,中国的城市轨道交通取得巨大的进步,轨道交通的规划、建设越来越受到各方的关注,但是建设地铁对城市人口、生产总值、公共预算收入等均有较高要求,中小城市在交通规划建设中对于适宜的轨道交通制式的选择,越来越倾向于中小运量轨道交通系统,如有轨电车,有轨电车在安全性、乘坐舒适、投资及运量等方面优势较为鲜明,有轨电车在中型城市乃至都市圈城市群发展中的作用和地位不断提升,成为破除中小运量发展的障碍的重
学位
本文旨在研究乘积度量空间和模糊度量空间中的不动点问题.在乘积度量空间和具有三角完备的模糊度量空间中,通过满足适当的相应条件,在乘积度量空间中,得到在单映射下存在唯一的不动点和在多映射下存在唯一的公共不动点,和在具有三角完备的模糊度量空间中,得到了在单映射下存在唯一的不动点.本文的研究结果是新的,这些结论拓展和改进了之前国内外研究中的一些结果,本文共分为四个部分:首先介绍了不动点问题的选题背景和研究