65、一种新颖的无黄金模型硬件木马检测技术

一种新颖的无黄金模型硬件木马检测技术

在硬件安全领域，硬件木马的检测至关重要。本文将介绍一种新颖的无黄金模型硬件木马检测技术，此技术可在无 IC 先验信息的无监督场景下工作，且不会增加硬件开销。

1. 相关定义

• ε - 邻域 ：{q ∈D|dist(p, q) ≤ε}，其中 dist(p, q) 表示点 p 到点 q 的距离。
• 密度可达 ：对于给定参数 ε，存在点链 p1, …, pl，其中 p1 = q，pl = p。若相连两点的距离满足 dist(pτ, pτ+1) ≤ε，则认为点 p 从点 q 密度可达。

2. DBSCAN 算法

Input: SOP, ε, MinPts
Output: SOP
ClID = nextID(NOISE)
for count = 1 to SOP.size do
    P = SOP.get(count)
    if P.ClID = num(SOP) then
        if ExtendCluster(SOP, P, ClID, ε, MinPts) then
            ClusterID = nextID(ClID)
        end if
    end if
end for

3. 问题建模

将无监督硬件木马检测问题建模为以下两种模型：
- 基于划分的硬件木马检测模型 ：给定 M