网络与信息安全学报2021，Vol.7Issue(2) ：57-63.DOI:10.11959/j.issn.2096-109x.2021029

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

Survey on model checking based hardware Trojan detection technology

张启智 赵毅强 高雅 马浩诚
网络与信息安全学报2021，Vol.7Issue(2) ：57-63.DOI:10.11959/j.issn.2096-109x.2021029
✕
  • 国家科技期刊平台
  • NETL
  • NSTL
  • 维普
  • 万方数据

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

Survey on model checking based hardware Trojan detection technology

张启智 1赵毅强 1高雅 1马浩诚1
扫码查看

作者信息

  • 1. 天津大学微电子学院,天津300110
  • 折叠

摘要

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

关键词

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

引用本文复制引用

基金项目

国家自然科学基金(61832018)

出版年

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

网络与信息安全学报

CSTPCD
ISSN：2096-109X
被引量1
参考文献量32
段落导航相关论文