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

• 作者: 沈海华 赵跃辉
• 来源期刊: 高技术通讯
• 关键词: 硬件安全 静态特征 硬件木马(HT) 木马检测 子图同构
• 年，卷（期）: 2017,（6）
• 所属期刊栏目: 计算机与通信技术
• 页码范围: 506-513
• 页数: 8页
• 字数: 6819字
• 语种: 中文
• DOI: 10.3772/j.issn.1002-0470.2017.06.003

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	沈海华	中国科学院计算技术研究所计算机体系结构国家重点实验室	17	218	7.0	14.0
2	赵跃辉	中国科学院大学计算机与控制学院	1	1	1.0	1.0