基于人工蜂群的硬件木马测试向量生成方法

作者：王晓晗; 王韬; 李雄伟^*; 张阳; 黄长阳

来源：上海交通大学学报, 2019, 53(10): 1218-1224.

DOI：10.16183/j.cnki.jsjtu.2019.99.001

• 硬件木马
• 集成电路
• 惰性节点
• 人工蜂群算法
• 激活策略

针对已有测试向量生成方法对以电路惰性节点作为输入的硬件木马触发覆盖率低的问题,提出了一种基于人工蜂群的测试向量生成方法.首先分析了用于触发惰性节点组合的测试向量的分布规律,并构建数学模型对其进行描述;然后利用人工蜂群算法生成测试向量,结合其分布规律对局部区域进行高效搜索以发现能触发更多惰性节点组合的测试向量,同时对全局进行快速搜索,有效避免了"早期收敛"问题.实验结果表明:使用本文方法生成的测试向量测试电路,对电路中惰性节点组合的平均触发覆盖率达到95.86%,与已有方法相比提高了22.43%,具有更好的硬件木马激活效果.

• 单位
  中国人民解放军陆军工程大学