基于软硬件协同形式验证的固件漏洞分析技术
张朋辉,田曦,楼康威
Firmware vulnerability analysis based on formal verification of software and hardware
Peng-hui ZHANG,Xi TIAN,Kang-wei LOU
网络与信息安全学报 . 2016, (7): 59 -68 .  DOI: 10.11959/j.issn.2096-109x.2016.00071