基于静态特征的硬件木马检测
发布时间：2019-03-21 11:45
【摘要】：分析了集成电路全球化设计、制造致使集成电路易被植入硬件木马(HT)从而使其存在遭受恶意攻击隐患的硬件安全形势,以及现有硬件木马检测方法的技术特点,在此基础上提出了一种基于静态特征的硬件木马检测新方法——HTChecker。HTChecker基于硬件木马的静态特征利用子图同构技术来检测木马。与其他的检测方法相比,它可以快速精确地找出已知特征的硬件木马。为了不受限于机器内存的大小,该方法借助图数据库来存储电路,这样它对超大规模的电路也可以进行检测。使用ISCAS’89和OpenCores benchmark电路对HTChecker进行了评估,木马电路被随机地插入到这些电路中。实验结果显示HTChecker可以快速精确地找出木马,并且不需要"Golden Chip"的辅助。HTChecker可以有效地处理实际的VLSI设计。
[Abstract]:This paper analyzes the hardware security situation of integrated circuit globalization design and manufacture, which makes integrated circuit easy to be implanted into hardware Trojan horse (HT) to make it vulnerable to malicious attack, and the technical characteristics of existing detection methods of hardware Trojan horse. On the basis of this, a new method of hardware Trojan horse detection based on static features-HTChecker.HTChecker based on static features of hardware Trojan horse, is proposed, which uses sub-graph isomorphism technology to detect Trojan horse. Compared with other detection methods, it can quickly and accurately find out the hardware Trojan horse with known features. In order not to limit the size of the machine memory, the method uses a graph database to store the circuit, so that it can also detect the very large scale of the circuit. The HTChecker is evaluated using ISCAS'89 and OpenCores benchmark circuits, and Trojan circuits are randomly inserted into these circuits. The experimental results show that HTChecker can find the Trojan horse quickly and accurately without the aid of "Golden Chip". HTChecker can effectively handle the actual VLSI design.
【作者单位】： 中国科学院大学计算机与控制学院;中国科学院计算技术研究所计算机体系结构国家重点实验室;
【基金】：国家自然科学基金(61173001)资助项目
【分类号】：TN407
，
本文编号：2444901
[Abstract]:This paper analyzes the hardware security situation of integrated circuit globalization design and manufacture, which makes integrated circuit easy to be implanted into hardware Trojan horse (HT) to make it vulnerable to malicious attack, and the technical characteristics of existing detection methods of hardware Trojan horse. On the basis of this, a new method of hardware Trojan horse detection based on static features-HTChecker.HTChecker based on static features of hardware Trojan horse, is proposed, which uses sub-graph isomorphism technology to detect Trojan horse. Compared with other detection methods, it can quickly and accurately find out the hardware Trojan horse with known features. In order not to limit the size of the machine memory, the method uses a graph database to store the circuit, so that it can also detect the very large scale of the circuit. The HTChecker is evaluated using ISCAS'89 and OpenCores benchmark circuits, and Trojan circuits are randomly inserted into these circuits. The experimental results show that HTChecker can find the Trojan horse quickly and accurately without the aid of "Golden Chip". HTChecker can effectively handle the actual VLSI design.
【作者单位】： 中国科学院大学计算机与控制学院;中国科学院计算技术研究所计算机体系结构国家重点实验室;
【基金】：国家自然科学基金(61173001)资助项目
【分类号】：TN407
，
本文编号：2444901
本文链接：https://www.wllwen.com/kejilunwen/dianzigongchenglunwen/2444901.html
