基于側(cè)信道分析的硬件木馬檢測技術(shù)研究.pdf

1、硬件木馬是對集成電路設(shè)計或制造過程中植入的惡意電路的統(tǒng)稱,其目的是使電路在某些特定條件下失效或泄露機密信息。由于硬件木馬給現(xiàn)代信息系統(tǒng)帶來的隱患和危害,木馬檢測技術(shù)已經(jīng)成為信息安全領(lǐng)域的研究熱點。
　　本文利用側(cè)信道分析技術(shù),設(shè)計了一種基于FPGA的硬件木馬檢測平臺和檢測流程,完成了木馬電路及其載體電路的設(shè)計,并采用功耗分析的方法進行了驗證。針對應(yīng)用到ASIC芯片檢測中存在的問題,在以下幾個方面開展了深入研究:
　　首先,針

2、對檢測中木馬有效激活的問題,建立了電路翻轉(zhuǎn)概率模型,對影響木馬激活概率的因素進行了分析,提出了一種提高木馬激活度的專用結(jié)構(gòu),并對該結(jié)構(gòu)的電路設(shè)計、關(guān)鍵參數(shù)選取和插入流程進行了詳細分析。仿真結(jié)果表明通過合理設(shè)置參數(shù),使用該結(jié)構(gòu)能夠在增加芯片面積不超過10％的情況下,將全部節(jié)點的翻轉(zhuǎn)率提高到設(shè)定的概率閾值(Pth),提高了檢測過程中木馬被激活的概率,并且縮短了測試時間;相對于基于dSFF的結(jié)構(gòu),在采用相同的概率閾值時,能夠節(jié)省30%以上的面

3、積。
　　然后,在建立電路功耗模型的基礎(chǔ)上,針對木馬檢測中存在的工藝偏差噪聲和數(shù)據(jù)冗余問題進行了分析,并基于主成分分析提出了一種木馬檢測數(shù)據(jù)的維度優(yōu)化算法。在算法分析實驗中,利用蒙特卡羅分析實現(xiàn)噪聲數(shù)據(jù)的仿真,結(jié)果表明該算法能夠降低工藝偏差噪聲對檢測的影響,并且實現(xiàn)50%以上數(shù)據(jù)維度的壓縮,有效提高了木馬檢測的效率。
　　最后,對硬件木馬檢測的判決機制開展了研究。首先給出木馬判定的基本方法,然后分析了經(jīng)典的相關(guān)系數(shù)應(yīng)用在木馬