[發明專利]基于少態節點遍歷的硬件木馬檢測方法

有效

• 申請號: 201710599160.6
• 申請日: 2017-07-21
• 公開（公告）號: CN107480561B
• 公開（公告）日: 2023-08-04
• 發明（設計）人: 趙毅強;解嘯天;劉燕江;高翔
• 申請（專利權）人: 天津大學
• 主分類號: G06F21/76
• 分類號: G06F21/76
• 代理公司: 天津市北洋有限責任專利代理事務所 12201
• 代理人: 劉國威

1.一種基于少態節點遍歷的硬件木馬檢測方法，其特征是，首先通過對已知的無木馬電路進行反向分析，得到其網表級電路用于對比；然后對待測電路的網表級電路進行分析，通過查找定位待檢測電路中的少態節點并篩選，對篩選得到的節點前后級邏輯進行挖掘，識別其中存在的冗余邏輯與可疑邏輯，并通過與原始無木馬網表級電路進行比對，實現硬件木馬的檢測。

2.如權利要求1所述的基于少態節點遍歷的硬件木馬檢測方法，其特征是，

具體步驟細化為：

步驟1：RTL(Register?Transfer?Level)級電路隨機測試向量的產生與測試：根據原始電路建立仿真驗證平臺，利用Synopsys公司的數字電路仿真軟件VCS仿真原始電路設計，產生測試的vcd文件；

步驟2：測試文件的轉換：利用EDA(Electronics?Design?Automation)工具，將步驟1中生成的vcd(Video?Compact?Disk)文件轉換成saif(Switching?Activity?InterchangeFormat)文件，saif文件包含電路中各節點的翻轉信息；

步驟3：利用perl(Practical?Extraction?and?Report?Language)腳本處理軟件，對生成的saif文件進行提取并分析，獲取節點的翻轉概率信息列表；

步驟4：設置臨界概率閾值，確定低活性節點列表：依據節點翻轉率信息列表，設置適當的翻轉率閾值，根據設置的臨界概率閾值確定節點的低活性節點列表，去除重復的節點、電源和地等不變的節點，得到篩選后的低活性節點列表；

步驟5：定位少態節點位置，執行識別操作：繼續利用perl語言編寫腳本,分析電路結構,定位已確定的少態節點位置，定義合適的檢測范圍，對少態節點的前后電路邏輯關系進行識別，并記錄識別結果，標識出電路中的冗余邏輯與可疑邏輯；

步驟6：原始電路的少態節點識別操作：對已知不存在硬件木馬的原始安全電路進行反向分析，得出其網表級電路，然后進行步驟1-5的操作，并記錄結果用于對比；

步驟7：待測電路與原始電路識別結果對比：將步驟5與步驟6的識別結果進行對比，著重對比標識出的冗余邏輯與可疑邏輯，若待測電路與原始電路的識別結果存在差異，則認定待測電路中存在硬件木馬，反之則認為其安全。