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

注：因版权方要求，不能公开全文，如需全文，请咨询杂志社