|国家科技期刊平台
| 注册
首页|期刊导航|网络与信息安全学报|模型学习与符号执行结合的安全协议代码分析技术

模型学习与符号执行结合的安全协议代码分析技术

张协力 祝跃飞 顾纯祥 陈熹

网络与信息安全学报2021，Vol.7Issue(5)：93-104,12.
✕
网络与信息安全学报2021，Vol.7Issue(5)：93-104,12.DOI:10.11959/j.issn.2096-109x.2021067

模型学习与符号执行结合的安全协议代码分析技术

Security protocol code analysis method combining model learning and symbolic execution

张协力 1祝跃飞 2顾纯祥 1陈熹2

作者信息

  • 1. 数学工程与先进计算国家重点实验室,河南郑州450001
  • 2. 网络密码技术河南省重点实验室,河南郑州450002
  • 折叠

摘要

关键词

模型学习/符号执行/安全协议代码/状态驱动

分类

信息技术与安全科学

引用本文复制引用

张协力,祝跃飞,顾纯祥,陈熹..模型学习与符号执行结合的安全协议代码分析技术[J].网络与信息安全学报,2021,7(5):93-104,12.

基金项目

国家重点研发计划(2019QY1302) （2019QY1302）

网络与信息安全学报

OACSTPCD

2096-109X

访问量0
|
下载量0
段落导航相关论文