【摘 要】
：
集成电路设计过程中引入的非受控第三方IP软核较容易被植入硬件木马,以往的功能测试方法较难实现全覆盖检测。为此,分析硬件木马结构及其在IP软核中的实现特征,提出一种基于
【机 构】
：
西安通信学院信息安全系,国防科学技术大学计算机学院
论文部分内容阅读
集成电路设计过程中引入的非受控第三方IP软核较容易被植入硬件木马,以往的功能测试方法较难实现全覆盖检测。为此,分析硬件木马结构及其在IP软核中的实现特征,提出一种基于硬件木马特征匹配的检测方法。给出特征识别流程,构建基于Trust-Hub硬件木马的特征库,在AES算法的RTL,级描述中设计3种不同功能类型的硬件木马电路进行分析。实例结果表明,利用提出的特征匹配方法并结合目标载体特征分析,可在冗余代码不高于10%的精度下实现硬件木马的有效识别。
其他文献
对连接Maxwell模型的两相邻钢筋混凝土框架结构进行了基于性能的阻尼器优化布置研究。以使两相邻结构总超越概率最小为优化目标,对确定阻尼器数目下的相邻结构进行了阻尼器优
针对１９９７年淮海农场水稻栽插期水资源严重紧缺的状况，具体分析导致缺水的原因，归纳出５点教训和启迪。
文章主要研究用ArcGIS软件处理地形图栅格数据使其转化为电子矢量化数据地形图,然后用ERMapper软件对电子矢量化数据地形图进行批量拼接,方便地形图在不同工作环境中的应用。
目的：探讨通过低频脉冲电治疗仪催乳治疗后对产妇产后恢复的影响。方法：将符合要求的540例产妇按就诊顺序进行夯组，奇数为实验组，偶数为对照组。实验组采用便携式低频脉冲电治疗
目的：探讨气速指数测定对间质性肺病（ILD）诊断的临床意义。方法：53例病人，其中男性14例，女性39例，年龄平均29±3岁，均用进口的全自动肺功能检测仪测定。依据测定的MVV、VC的参数
快速制作航空遥感正射影像图（DOM）,不仅能够及时获得动态目标的变化信息,而且可以对突发事件进行及时的动态监测,为现场应急指挥提供第一手翔实的图像资料.利用LPS ERDAS 9.1（含
犬膀胱破裂是指因外力、尿道阻塞、膀胱肿瘤、前列腺肿瘤等因素引发的一种外科疾病，此病如不及时治疗，会引发腹膜炎或尿毒症，导致犬死亡，临床上并不多见，笔者近期在门诊上遇到1例，
对我来说，今年上半年读到的最好的译诗是《当代国际诗坛》第一期（作家出版社，二OO八）上由贺骥译的《格仁拜因诗选》及其诗论《蚂蚁般伟大》。
为了有效利用海洋资源,缓解土地供需矛盾,我国沿海地区开展了大规模围填海工程,促进了海洋经济快速发展,但是围填海工程也对海洋生态环境产生了负面影响,致使海洋生物资源衰