计算机工程2021，Vol.47Issue(12)：141-146,6.DOI:10.19678/j.issn.1000-3428.0060179
基于强化学习的安全协议形式化验证优化研究
Research on Optimization of Security Protocol Formal Verification Based on Reinforcement Learning
摘要
关键词
强化学习/安全协议/形式化方法/自动验证/泛化性分类
信息技术与安全科学引用本文复制引用
杨锦翔,熊焰,黄文超..基于强化学习的安全协议形式化验证优化研究[J].计算机工程,2021,47(12):141-146,6.基金项目
国家重点研发计划(2018YFB2100300,2018YFB0803400) （2018YFB2100300,2018YFB0803400）
国家自然科学基金(61972369,61572453,61520106007,61572454) （61972369,61572453,61520106007,61572454）
中央高校基本科研业务费专项资金(WK2150110009). （WK2150110009）
