基于静态特征的硬件木马检测

分析了集成电路全球化设计、制造致使集成电路易被植入硬件木马(HT)从而使其存在遭受恶意攻击隐患的硬件安全形势,以及现有硬件木马检测方法的技术特点,在此基础上提出了一种基于静态特征的硬件木马检测新方法——HTChecker。HTChecker基于硬件木马的静态特征利用子图同构技术来检测木马。与其他的检测方法相比,它可以快速精确地找出已知特征的硬件木马。为了不受限于机器内存的大小,该方法借助图数据库来存储电路,这样它对超大规模的电路也可以进行检测。使用ISCAS’89和OpenCores benchmark电路对HTChecker进行了评估,木马电路被随机地插入到这些电路中。实验结果显示HTChecker可以快速精确地找出木马,并且不需要"Golden Chip"的辅助。HTChecker可以有效地处理实际的VLSI设计。

Detecting hardware Trojans based on static characteristics

The hardware security situation that the globalization of integrated-circuit (IC) design and manufacture makes IC easy to implant hardware Trojans ( HT) so it has the potential risks of malicious attacks , as well as the technical characteristics of present method for hardware Trojan detection , were analyzed in detail , and based on this , a novel hardware Trojan detection scheme based on static characteristics of Trojans , named HTChecker , was proposed . Based on the static features of Trojans , the HTCheckes uses the subgraph isomorphism technique to detect hardware Trojans.Compared with other schemes , the HTChecker can quickly and accurately detect hardware Trojans .For not to be limited to the capacity of memory , the HTCheckr uses the graph database to store large-scale circuits , thus it can effectively detect very large-scale circuits .The HTChecker was evaluated with random mixtures of Tro-jans and the circuits from ISCAS '89 benchmarks and OpenCores .The experiments show that HTChecker can detect Trojans quickly and accurately without "Golden Chip" and it can efficiently cope with actual VLSI designs .