基于靜態(tài)特征的硬件木馬檢測(cè)
發(fā)布時(shí)間：2019-03-21 11:45
【摘要】：分析了集成電路全球化設(shè)計(jì)、制造致使集成電路易被植入硬件木馬(HT)從而使其存在遭受惡意攻擊隱患的硬件安全形勢(shì),以及現(xiàn)有硬件木馬檢測(cè)方法的技術(shù)特點(diǎn),在此基礎(chǔ)上提出了一種基于靜態(tài)特征的硬件木馬檢測(cè)新方法——HTChecker。HTChecker基于硬件木馬的靜態(tài)特征利用子圖同構(gòu)技術(shù)來(lái)檢測(cè)木馬。與其他的檢測(cè)方法相比,它可以快速精確地找出已知特征的硬件木馬。為了不受限于機(jī)器內(nèi)存的大小,該方法借助圖數(shù)據(jù)庫(kù)來(lái)存儲(chǔ)電路,這樣它對(duì)超大規(guī)模的電路也可以進(jìn)行檢測(cè)。使用ISCAS’89和OpenCores benchmark電路對(duì)HTChecker進(jìn)行了評(píng)估,木馬電路被隨機(jī)地插入到這些電路中。實(shí)驗(yàn)結(jié)果顯示HTChecker可以快速精確地找出木馬,并且不需要"Golden Chip"的輔助。HTChecker可以有效地處理實(shí)際的VLSI設(shè)計(jì)。
[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.
【作者單位】： 中國(guó)科學(xué)院大學(xué)計(jì)算機(jī)與控制學(xué)院;中國(guó)科學(xué)院計(jì)算技術(shù)研究所計(jì)算機(jī)體系結(jié)構(gòu)國(guó)家重點(diǎn)實(shí)驗(yàn)室;
【基金】：國(guó)家自然科學(xué)基金(61173001)資助項(xiàng)目
【分類號(hào)】：TN407
，
本文編號(hào)：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.
【作者單位】： 中國(guó)科學(xué)院大學(xué)計(jì)算機(jī)與控制學(xué)院;中國(guó)科學(xué)院計(jì)算技術(shù)研究所計(jì)算機(jī)體系結(jié)構(gòu)國(guó)家重點(diǎn)實(shí)驗(yàn)室;
【基金】：國(guó)家自然科學(xué)基金(61173001)資助項(xiàng)目
【分類號(hào)】：TN407
，
本文編號(hào)：2444901
本文鏈接：http://sikaile.net/kejilunwen/dianzigongchenglunwen/2444901.html
最近更新
教材專著
