首页|基于模型检测的硬件木马检测技术研究

基于模型检测的硬件木马检测技术研究

Survey on model checking based hardware Trojan detection technology

扫码查看
原文链接
  • 国家科技期刊平台
  • NETL
  • NSTL
  • 维普
  • 万方数据
硬件木马对原始电路的恶意篡改,已成为集成电路面临的核心安全威胁.为了保障集成电路的安全可信,研究人员提出了诸多硬件木马检测方法.其中,模型检测作为一种形式化验证方法,在设计阶段可有效检测出硬件木马.首先,阐述了模型检测的工作原理和应用流程;其次,介绍了基于模型检测的硬件木马检测技术的研究进展;最后,指出了当前该技术所面临的瓶颈,并讨论了潜在的研究方向.

张启智、赵毅强、高雅、马浩诚

展开 >

天津大学微电子学院,天津300110

硬件木马 模型检测 模型构建 属性声明

国家自然科学基金

61832018

2021

10.11959/j.issn.2096-109x.2021029

网络与信息安全学报
人民邮电出版社

网络与信息安全学报

CSTPCD
ISSN：2096-109X
年,卷(期)：2021.7(2)
  • 1
  • 32