基于探索式分区和测试向量生成的硬件木马检测方法

薛明富，胡爱群，王　箭

(1.南京航空航天大学计算机科学与技术学院，江苏南京 210016； 2.东南大学信息科学与工程学院，江苏南京 210096；3.中国民航大学中国民航信息技术科研基地，天津 300300;4.软件新技术与产业化协同创新中心，江苏南京 210023)



基于探索式分区和测试向量生成的硬件木马检测方法

薛明富1,2,3,4，胡爱群2，王箭1,4

(1.南京航空航天大学计算机科学与技术学院，江苏南京 210016； 2.东南大学信息科学与工程学院，江苏南京 210096；3.中国民航大学中国民航信息技术科研基地，天津 300300;4.软件新技术与产业化协同创新中心，江苏南京 210023)

本文提出基于分区和最优测试向量生成的硬件木马检测方法.首先，采用基于扫描细胞分布的分区算法将电路划分为多个区域.然后，提出测试向量重组算法，对各区域依据其自身结构生成近似最优的测试向量.最后，进行分区激活和功耗分析以检测木马，并采用信号校正技术消减制造变异和噪声的影响.优点是成倍提高了检测精度，克服了制造变异的影响，解决了面对大电路的扩展性问题，并可以定位木马.在基准电路上的验证实验表明检测性能有较大的提升.

硬件安全；硬件木马检测；探索式分区；最优测试向量生成

1　引言

硬件行业全球化的生产模式，使得集成电路(Integrated circuits，IC)容易受到恶意修改的威胁[1～7]，俗称为硬件木马(Hardware Trojan，HT)，它可以在特定条件或时刻触发，然后破坏、关闭、控制芯片/系统，或者泄露机密信息.硬件所面临的安全威胁和巨额经济损失已经……