摘要： 集成电路设计过程中引入的非受控第三方IP软核较容易被植入硬件木马,以往的功能测试方法较难实现全覆盖检测。为此,分析硬件木马结构及其在IP软核中的实现特征,提出一种基于硬件木马特征匹配的检测方法。给出特征识别流程,构建基于Trust-Hub硬件木马的特征库,在AES算法的RTL级描述中设计3种不同功能类型的硬件木马电路进行分析。实例结果表明,利用提出的特征匹配方法并结合目标载体特征分析,可在冗余代码不高于10%的精度下实现硬件木马的有效识别。

关键词: IP软核, 硬件木马, 安全芯片, 匹配算法, 特征库

Abstract: The introduction of uncontrolled third-party IP soft core introduced in the process of integrated circuit design can easily be embedded with hardware trojans.Traditional,functional testing method is difficult to achieve full coverage detection.So,the paper analyzes the structure of hardware trojans and its implementation characteristics in the IP soft cores,proposes a detection method of hardware Trojans based on feature matching,and presents a complete identification process.In addition,on the basis of building a feature library of hardware Trojans by Trust-Hub,three different types of hardware trojans are designed to be analyzed in the RTL description of AES algorithm.Experimental results show that the method can effectively detect hardware trojans with the help of the characteristic analysis of target carrier.It can realize accurate detection for hardware trojans under the reasonable selection principle when no more than 10% redundancy code is acquired.

Key words: IP soft core, hardware trojan, security chip, matching algorithm, feature library

中图分类号: 

• TP391