10.19678/j.issn.1000-3428.0060179
基于强化学习的安全协议形式化验证优化研究
使用形式化方法能够找到安全协议设计中存在的漏洞,但高效地对安全协议进行自动的形式化分析仍然是一个挑战.针对现有形式化自动验证工具无泛化性和效率低的不足,对基于强化学习的安全协议形式化验证框架smartVerif进行优化.使用无人工特征、完全进行自我学习的蒙特卡洛树搜索与深度神经网络相结合的强化学习框架,同时设计能够保留形式化数据结构信息的数据转换方法.实验结果表明,利用该优化方案训练的强化学习模型具有泛化性且能高效地验证安全协议.
强化学习;安全协议;形式化方法;自动验证;泛化性
47
TP309(计算技术、计算机技术)
国家重点研发计划;国家自然科学基金;中央高校基本科研业务费专项资金
2021-12-20(万方平台首次上网日期,不代表论文的发表时间)
共6页
141-146