针对硬件木马的形式化验证模型构造方法
沈利香,慕德俊,曹国,谢光前,束方勇
Constructing formal verification models for hardware Trojans
SHEN Lixiang,MU Dejun,CAO Guo,XIE Guangqian,SHU Fangyong
西安电子科技大学学报 . 2021, (3): 146 -153 .  DOI: 10.19665/j.issn1001-2400.2021.03.019

　陕ICP备09011600号
版权所有 © 2018 《西安电子科技大学学报》编辑部
地址：西安市太白南路2号349信箱(710071) Tel: (029)88202853 Email:xuebao@mail.xidian.edu.cn
本系统由北京玛格泰克科技发展有限公司设计开发