模型学习与符号执行结合的安全协议代码分析技术
张协力, 祝跃飞, 顾纯祥, 陈熹
Security protocol code analysis method combining model learning and symbolic execution
Xieli ZHANG, Yuefei ZHU, Chunxiang GU, Xi CHEN
网络与信息安全学报 . 2021, (5): 93 -104 .  DOI: 10.11959/j.issn.2096-109x.2021067