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

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

单位：南京航空航天大学计算机科学与技术学院; 江苏南京210016; 东南大学信息科学与工程学院; 江苏南京210096; 中国民航大学中国民航信息技术科研基地; 天津300300; 软件新技术与产业化协同创新中心; 江苏南京210023