基于字統(tǒng)計(jì)特性與節(jié)點(diǎn)中間性的硬件木馬檢測(cè)技術(shù)研究.pdf

1、近幾年來(lái)，隨著集成電路產(chǎn)業(yè)的蓬勃發(fā)展，出現(xiàn)了一種針對(duì)集成電路芯片的新型攻擊方式，稱為硬件木馬。集成電路設(shè)計(jì)、生產(chǎn)、封裝等分工的細(xì)致化和專門化，使得芯片設(shè)計(jì)和生產(chǎn)的多個(gè)環(huán)節(jié)都可能被第三方惡意地植入硬件木馬，給芯片安全帶來(lái)了嚴(yán)重威脅。國(guó)內(nèi)外專家學(xué)者近年來(lái)將硬件木馬檢測(cè)的研究主要集中在以下兩個(gè)方面，硅前階段的IP可信驗(yàn)證技術(shù)以及硅后階段的基于測(cè)試矢量的邏輯測(cè)試技術(shù)。
　　硬件木馬通常存在于電路中的罕見(jiàn)節(jié)點(diǎn)處，那么如何確定罕見(jiàn)節(jié)點(diǎn)位置便成

2、了檢測(cè)硬件木馬的關(guān)鍵。所以，本文首先利用統(tǒng)計(jì)特征參數(shù)分析電路內(nèi)部節(jié)點(diǎn)的傳輸活動(dòng)性，將具有較低傳輸活動(dòng)性的內(nèi)部節(jié)點(diǎn)作為罕見(jiàn)節(jié)點(diǎn)。然后通過(guò)研究電路中各種邏輯操作的信號(hào)傳輸規(guī)律推導(dǎo)出信號(hào)單調(diào)傳輸?shù)募s束條件。最后，根據(jù)不同的電路結(jié)構(gòu)，提出了相應(yīng)的基于回溯的測(cè)試矢量生成算法，利用生成的測(cè)試矢量可以加速激活硬件木馬。實(shí)驗(yàn)結(jié)果表明，該技術(shù)可以增加罕見(jiàn)節(jié)點(diǎn)的傳輸活動(dòng)性高達(dá)166.7倍，激活時(shí)間可以最多減少121倍。
　　此外，由于基于電路邏輯分析