基于强化学习的网络安全协议形式化验证与应用技术研究.pdf

摘要   摘要 证 证 。 经 是 法 系 完备性 当前的 式化验证已 形 化验 用数学的方 去 明 统的 形 式 网 全 证 ， 发 漏 。 是 化 证方 成功用 络安 协议的 明 并 了许多 洞 有的 式 于 现 但 现 形 验 法主 手工 验证 验 。 因 议 致 的 和半自动化的 为协 状 空间的 大会导 内存 要是 证 态 过 一 况 此 对 化 证 。 合 情 发 ， ， 网络安全协议的 自动 仍是 个挑战 智能 爆炸的 生 因 验 约 一 息 履 条款 ， 随 以智能合约为代 到 动 行 着 是 种能根据 收 的信 自 合同 的协 接 议 区 ， 发 安 事件也 重威 大 经济财产安全。 表的 块链应用 的增长 其频 的 全 严 胁着 众的 对 络 协 进 证， 一款 验 本文中， 为了 能 网 安全 议 行自动化 作 提出 了 能 自动化 验 者 通 架 我 态策 证工 议 框 ， 们采用 动 略的方法， 辅助 式化 具智能的 证协 的 用 了 形 验 理 上 态 比 且 。 的静 略相 ， 该 法具有 活 不需 进 路