高技术通讯2017，Vol.27Issue(6)：506-513,8.DOI:10.3772/j.issn.1002-0470.2017.06.003
基于静态特征的硬件木马检测
Detecting hardware Trojans based on static characteristics
摘要
Abstract
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 .关键词
硬件安全/静态特征/硬件木马(HT)/木马检测/子图同构Key words
hardware security/static characteristics/hardware Trojan (HT)/Trojan detection/subgraph iso-morphism引用本文复制引用
赵跃辉,沈海华..基于静态特征的硬件木马检测[J].高技术通讯,2017,27(6):506-513,8.基金项目
国家自然科学基金(61173001)资助项目. （61173001）
