一種基于靜態(tài)分析的多視圖硬件木馬檢測(cè)方法

摘要： 隨著集成電路產(chǎn)業(yè)的全球化,大部分設(shè)計(jì)、制造和測(cè)試過(guò)程已經(jīng)轉(zhuǎn)移到了世界各地不受信任的第三方實(shí)體,這樣可能存在攻擊者在硬件設(shè)計(jì)中插入有惡意行為電路的風(fēng)險(xiǎn),即硬件木馬。在早期發(fā)現(xiàn)硬件木馬至關(guān)重要,若在設(shè)計(jì)后期或制造后再想移除它將開(kāi)銷(xiāo)很大。文章提出一種基于靜態(tài)分析的多視圖硬件木馬檢測(cè)方法,首先通過(guò)分析Verilog代碼得出變量數(shù)據(jù)依賴圖和變量控制依賴圖,從多個(gè)視角深度挖掘硬件設(shè)計(jì)的語(yǔ)義...