基于强化学习的安全协议形式化验证优化研究

检索

作者投稿和查稿主编审稿专家审稿编委审稿远程编辑

杨锦翔, 熊焰, 黄文超

Research on Optimization of Security Protocol Formal Verification Based on Reinforcement Learning

YANG Jinxiang, XIONG Yan, HUANG Wenchao

计算机工程 . 2021, (12): 141 -146 . DOI: 10.19678/j.issn.1000-3428.0060179