基于低转换概率节点路径延时的硬件木马检测方法研究

来源 :合肥工业大学 | 被引量 : 0次 | 上传用户:jianxieshui
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
随着微电子与计算机技术的快速发展,集成电路(IC)被广泛应用于航空、金融、医疗等行业领域,成为日常生活中不可或缺的一部分。然而由于经济原因,IC的设计与制造分离已经成为一种趋势,从而导致芯片安全在某些不可信环节受到威胁。这种分离制造给攻击者提供了在电路中插入具有恶意功能的冗余电路的机会,即硬件木马(HT),在特定的触发条件下,HT会对芯片造成不可估计的危害,例如修改电路功能、泄露用户信息。因此,为保证集成电路的安全性与可靠性,对硬件木马的检测与预防方法的研究变得尤为重要。硬件木马由于其高隐蔽性,触发条件比较罕见,因此更倾向于在电路中低转换概率节点插入,本文针对该问题提出了一种在这些低概率节点处构建环形振荡器(RO)结构的方法来检测硬件木马。该方法首先计算电路节点的转换概率并挑选出低于转换概率阈值的节点,然后在挑选出的节点处构建RO结构,通过RO路径延时的变化进行木马的检测。实验以ISCAS’85基准电路为基础,并在Spartan6FPGA开发板实现。实验结果表明,该方法与现有RON结构相比较在更低的面积和功耗开销下,可以有效检测到电路中是否存在HT。目前基于旁路信号的木马检测方法的有效性受到一些因素的限制,如电压、温度、工艺波动等。本文研究的第二种木马检测方法是构建一种基于反馈回路的锁存结构(latch)来进行木马检测,通过在电路中选择物理位置相近的两条路径作为反馈路径来降低工艺波动对所提方法结构的影响。基于两条路径的延时差异来判断latch输出逻辑值是否发生变化来检测电路中HT的存在,同时为了降低硬件开销选择在电路中低转换概率节点所在路径构建latch结构。实验证明该方法能有效检测到仅有一个逻辑门大小的木马电路,并能够根据实验结果获得硬件木马在芯片电路中的位置信息,是对现有硬件木马检测方法检测小型木马方面不足的补充。
其他文献
随着科学技术的不断发展,生活方式不断趋于多样化,人们对于高速通信的需求不断增加。然而,在传统的无线通信系统中,日益紧张的频谱资源已经无法满足人们对于高速、高质量通信
在连续变量量子密钥分发(Continous Variable Quantum Key Distribution,CV-QKD)系统中,通信双方需要在距离较远,信噪比较低的条件下进行密钥协商,因此必须选用码率较低,码长
随着互联网技术的高速发展,各个领域的数据迅猛增长,我们进入了大数据(Big Data)时代。然而,数据量的增长不只带来了丰富的信息资源,更高的数据维数往往也相伴而至。为了能够顺利的对高维数据进行处理分析,就需要预先对数据进行降维处理。传统的数据降维算法一般采用批量方式(Batch Model)进行训练,这种训练方式需要在训练之前将所有样本数据载入内存;随着数据规模的不断扩大,传统的数据降维算法会因
党的十九大报告指出,要提高社会治理社会化、法治化、智能化、专业化。这为新时代推进基层治理体系和治理能力现代化指明了方向,描绘了蓝图。建邺区作为南京市现代化国际性城
对履行职责之诉成立的具体要件,我国《行政诉讼法》及其司法解释并未作出具体的规定,而最高人民法院在审理“李国秀案”时一并提出了履行职责之诉成立的“五个条件”,即:一、
近年来,以螺旋形波前相位表征的电磁波轨道角动量(OAM)因其展现出的巨大通信潜力而备受关注。作为电磁波的基本物理量,OAM为无线信息承载提供了额外的自由度,基于OAM的复用通
高密度电法目前广泛用于工程地质(Cheng et al., 2019, Robert et al., 2011)、考古、水文地质(Brunet et al., 2010; Camarero et al., 2019)、环境评价等领域。但在干扰源
会议
随着我国职业教育的快速发展,职业院校企业兼职教师的教学质量也面临着新的挑战。根据国家对职业院校培养的人才质量要求,本研究以河南省H职业院校聘任的技术技能人员为例,研
本文论述惠源公司面向电力生产运行过程的电气运行监测管理系统,着重于其软件的功能分析、设计与实现工作。该系统是基于小型电力企业的设备运行管理需求而建立的信息化管理
移动边缘计算(MEC)是一种被广泛认可的新型网络架构,它可以解决传统集中式云计算架构的问题,同时也为新移动应用的产生提供平台基础,例如任务迁移。任务迁移使用任务组件托管