基于可控制性度量的图神经网络门级硬件木马检测方法

来源：计算机工程杂志2024年第7期北京时间：

作者：张洋, 刘畅, 李少青

单位：国防科技大学计算机学院先进微处理器芯片与系统重点实验室, 湖南 长沙 410071

摘要：随着全球化的不断深入, 第三方知识产权(IP)核应用越来越广泛。随着硬件木马攻击技术逐渐成熟, 使得在芯片设计阶段植入硬件木马成为可能。因此, 在芯片设计过程中面临IP核被植入木马的严重威胁, 现有研究所提的硬件木马检测方法具有依赖黄金参考电路、需要完备的测试向量、大量的样本进行学习等特征。面向IP核的硬件木马检测需求, 提出一种基于可控制性度量的图神经网络检测方法。该方法以门级网表作为输入, 首先以可控制性值为指导, 得到可疑的门节点, 用于缩小搜索范围; 然后利用可疑门节点生成对应的子图, 利用图卷积神经网络从子图中提取特征, 实现对子图的分类和检测, 最终识别硬件木马。实验结果表明, 该方法无须测试激励和黄金模型, 利用硬件木马的隐蔽特性与结构特征相结合的方法提升硬件木马的检测准确率, 平均真阳率为100%, 假阳率为0.75%, 在保证较高真阳率的同时可有效降低假阳率, 达到较好的检测效果。

关键词：知识产权核,硬件木马,可控制性度量,子图,图卷积神经网络

基金资助：国家自然科学基金(61832018)