网络与信息安全学报2021，Vol.7Issue(2)：57-63,7.DOI:10.11959/j.issn.2096-109x.2021029
基于模型检测的硬件木马检测技术研究
Survey on model checking based hardware Trojan detection technology
摘要
关键词
硬件木马/模型检测/模型构建/属性声明分类
信息技术与安全科学引用本文复制引用
张启智,赵毅强,高雅,马浩诚..基于模型检测的硬件木马检测技术研究[J].网络与信息安全学报,2021,7(2):57-63,7.基金项目
国家自然科学基金(61832018) （61832018）
