針對(duì)集成電路設(shè)計(jì)時(shí)引入第三方IP軟核,極易存在安全威脅的問(wèn)題,現(xiàn)有的功能測(cè)試和搜索方法無(wú)法實(shí)現(xiàn)快速檢測(cè)。本文提出一種基于結(jié)構(gòu)特征的IP軟核木馬檢測(cè)方法,并通過(guò)軟件實(shí)現(xiàn)快速結(jié)構(gòu)搜索和信號(hào)安全性分析。首先對(duì)典型的木馬觸發(fā)模塊結(jié)構(gòu)特征進(jìn)行分析,用軟件實(shí)現(xiàn)IP軟核快速結(jié)構(gòu)搜索,提取可疑的信號(hào),然后對(duì)信號(hào)進(jìn)行路徑追蹤,最后對(duì)信號(hào)路徑進(jìn)行分析是否有非法路徑或功能篡改。在AES電路上實(shí)驗(yàn)結(jié)果表明,通過(guò)分析觸發(fā)模塊的結(jié)構(gòu)特征和電路特征,本方法能夠快速識(shí)別指定觸發(fā)模型的硬件木馬。 

【文章來(lái)源】：電子設(shè)計(jì)工程. 2020,28(15)

【文章頁(yè)數(shù)】：6 頁(yè)

【文章目錄】：
1 基于結(jié)構(gòu)特征的檢測(cè)方法
    1.1 結(jié)構(gòu)搜索
        1.1.1 累加器
        1.1.2 線性反饋移位器
        1.1.3 狀態(tài)機(jī)
    1.2 路徑追蹤和安全性分析
2 方法實(shí)驗(yàn)
    2.1 結(jié)構(gòu)搜索
    2.2 路徑追蹤和安全性分析
    2.3 實(shí)驗(yàn)結(jié)果分析
3 結(jié)論


【參考文獻(xiàn)】：
期刊論文
[1]基于攜帶證明代碼的IP核安全性驗(yàn)證方法[J]. 王麗娟,張榮,周昱,魏敬和.  電子設(shè)計(jì)工程. 2019(05)
[2]硬件木馬技術(shù)研究進(jìn)展[J]. 尹勇生,汪濤,陳紅梅,鄧紅輝.  微電子學(xué). 2017(02)
[3]基于特征匹配的IP軟核硬件木馬檢測(cè)[J]. 倪林,石磊,韓鹍,李少青.  計(jì)算機(jī)工程. 2017(03)
[4]硬件木馬研究動(dòng)態(tài)綜述[J]. 趙劍鋒,史崗.  信息安全學(xué)報(bào). 2017(01)
[5]集成電路中硬件木馬防御技術(shù)研究[J]. 趙毅強(qiáng),何家驥,楊松,劉沈豐.  計(jì)算機(jī)工程. 2016(01)
[6]一種木馬電路的實(shí)現(xiàn)與特征分析[J]. 鄭朝霞,韓玲,李陽(yáng),鄒雪城.  微電子學(xué)與計(jì)算機(jī). 2012(10)

碩士論文
[1]抗物理攻擊安全芯片關(guān)鍵技術(shù)研究[D]. 張赟.天津大學(xué) 2016
[2]數(shù)字軟核IP質(zhì)量評(píng)測(cè)平臺(tái)的研究與設(shè)計(jì)[D]. 陳濤.西安電子科技大學(xué) 2014
[3]AES加密算法的研究與IP核設(shè)計(jì)實(shí)現(xiàn)[D]. 王小偉.哈爾濱工業(yè)大學(xué) 2013



本文編號(hào)：3052613