基于模型检测的硬件木马检测技术研究
张启智, 赵毅强, 高雅, 马浩诚
Survey on model checking based hardware Trojan detection technology
Qizhi ZHANG, Yiqiang ZHAO, Ya GAO, Haocheng MA
网络与信息安全学报 . 2021, (2): 57 -63 .  DOI: 10.11959/j.issn.2096-109x.2021029