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

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

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

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


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

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



本文編號：3052613