【摘 要】
:
当今集成电路受到各种形式的恶意篡改,这种能够改变设计功能、导致核心信息泄露与拒绝服务的电路称之为硬件木马。硬件木马形式多样,芯片设计与制造的每个环节都可能被硬件木
论文部分内容阅读
当今集成电路受到各种形式的恶意篡改,这种能够改变设计功能、导致核心信息泄露与拒绝服务的电路称之为硬件木马。硬件木马形式多样,芯片设计与制造的每个环节都可能被硬件木马侵扰,对芯片安全造成极大威胁。国际上现阶段主要以面向制造阶段的硬件木马检测技术为主,但目前第三方IP核的广泛应用使芯片设计阶段更易植入木马,因此本文展开面向芯片设计阶段的硬件木马检测技术研究。本文首先研究并实现了基于代码覆盖率的硬件木马检测方法,面向的对象为RTL级的硬件木马。通过该方法对Trust-Hub网站上的18个RTL基准电路进行检测,木马检测成功率可达到94%以上。设计了基于AES的泄密型硬件木马,在FPGA上实现了该木马的预期功能并成功躲避掉代码覆盖率的检测,表明覆盖率检测对代码书写形式敏感的弊端。为进一步提高芯片设计阶段的安全性,本文重点研究了基于静态布尔函数分析与动态逻辑测试的硬件木马检测技术,二者作为覆盖率检测的重要补充手段,面向的对象均为植入在门级网表上的硬件木马。基于静态布尔函数分析的检测方法通过把对输出产生“极弱影响”的输入信号进行标记来判断是否为木马信号,该方法可以有效定位Trust-Hub网站的RS232系列电路的木马数据通路,研究结果表明该方法可以帮助设计者排除90%以上的正常功能信号,并保持了10%以下的误报率。在动态逻辑测试方法中,由于硬件木马的触发电路往往植入在转换概率极低节点处,因此本文通过优化ATPG技术只对电路中转换概率极低的节点进行固定型故障检测。研究结果表明该方法可以有效定位到植入在ISCAS’89电路中转换概率为7.44×10-9的硬件木马,相较于传统ATPG方式,本文方法可以大幅提高硬件木马的触发概率,测试向量的触发时间占总仿真时间的比例提升了91.3%。
其他文献
气动技术是一种利用压缩空气进行能量传递或信号传递的工程技术,其本身凭借环保无污染、结构简单轻便、压力等级低和可靠性高等优势,在汽车制造行业、食品饮料行业及各种非标
无线传感器网络(Wireless Sensor Network,WSN)是由若干个传感器节点组成的无线多跳网络,它是物联网的重要组成部分。在传统的传感器网络中,节点可用的电池容量很有限,需要频繁更换节点的电池,这给WSN的大规模应用带来困难。能量捕获无线传感器网络(Energy Harvesting Wireless Sensor Network,EH-WSN)提供了一种有效突破能量供应瓶颈的方案
传统的数据中心是建立在多个实体服务器上,并行完成各种任务,一旦任务量加大就需要增加服务器的数量,从而使成本投入增大。为减少成本,提高资源的利用率,虚拟化技术应运而生
哈希方法被广泛研究并应用于基于内容的图像检索领域。哈希方法旨在学习一组哈希函数将原始数据映射成一串二进制编码并在汉明空间保持数据在原始空间中的相似性。使用哈希方法生成的二进制编码来进行图像检索可以提高检索的效率,并且大幅减小存储开销。决策树是一种运行速度快,可解释性强的模型,但目前基于决策树的哈希方法由于使用浅层的决策树而造成了学习能力不足的问题。目前大多数的深度哈希方法都是基于深度神经网络设计的
随着互联网业务的高速发展,移动和宽带用户不断增长。用户行为、地理分布和时间的不确定性使得传统固定带宽的网络已不能满足人们的生活需求。急需研究新一代智能的、网络资源利用率高、带宽等资源灵活度高、成本低的网络。作为光网络系统中重要的组成部分,软件定义光收发机能够通过DSP处理对器件、系统、网络进行监测并自动适应其工作条件,根据用户的QoS需求以及网络特性调整资源配置(子载波数目、调制格式以及信道带宽)
精确、实时的导航技术是智能车辆的核心技术之一,是车辆进行自主运动的前提。卫星信号的捕获是实现卫星信号跟踪、定位解算的前提;捕获时间是GNSS接收机的一个重要参数。由于障碍物遮挡等原因,单一的卫星导航不能满足车辆稳定定位的要求。摄像头因具有价格便宜,能够提供高分辨率的定位信息,操作要求较低,易与目标跟踪、地图构建、避障等功能进行融合的优点,本文对单目VO与GNSS组合导航系统进行研究。首先,针对传统
本文主要研究的是油画造型语言特征对于作者的油画创作的影响,在这里主要以画家乌格罗为代表进行的学习和研究。乌格罗作品中透露出严谨准确的透视关系,遵循理性的真实的视觉
在视频监控、医学影像、遥感卫星等特殊的应用场景,受到硬件限制、噪声干扰等因素的影响,只能获得低分辨率(Low Resolution,LR)图像。超分辨率(Super Resolution,SR)重建技术
裁片是汽车座椅成品制造过程中不可或缺的中间件,其几何尺寸的精确测量是进行品质控制的关键。目前裁片的尺寸测量主要为人工方式,测量精度和效率无法满足工业生产检测的需要
相位敏感光纤参量放大器(phase sensitive fiber optical parametric amplifier,PS-FOPA)是一种基于光纤四波混频过程的超低噪声光放大器。这种新型光放大器具有0dB的量子极