基于静态特征的硬件木马检测

摘要：

分析了集成电路全球化设计、制造致使集成电路易被植入硬件木马(HT)从而使其存在遭受恶意攻击隐患的硬件安全形势,以及现有硬件木马检测方法的技术特点,在此基础上提出了一种基于静态特征的硬件木马检测新方法——HTChecker.HTChecker基于硬件木马的静态特征利用子图同构技术来检测木马.与其他的检测方法相比,它可以快速精确地找出已知特征的硬件木马.为了不受限于机器内存的大小,该方法借助图数据库来存储电路,这样它对超大规模的电路也可以进行检测.使用ISCAS'89和Open-Cores benchmark电路对HTChecker进行了评估,木马电路被随机地插入到这些电路中.实验结果显示HTChecker可以快速精确地找出木马,并且不需要"Golden Chip"的辅助.HTChecker可以有效地处理实际的VLSI设计.

关键词：硬件安全、静态特征、硬件木马(HT)、木马检测、子图同构

所属期刊栏目：27

分类号：TM3;D9

资助基金：国家自然科学基金61173001

在线出版日期：2017-11-22（万方平台首次上网日期，不代表论文的发表时间）

页数：共8页

页码：506-513