[发明专利]一种网络安全协议的自动形式化验证方法有效
申请号: | 202211083948.9 | 申请日: | 2022-09-06 |
公开(公告)号: | CN115460297B | 公开(公告)日: | 2023-06-30 |
发明(设计)人: | 黄文超;熊焰;汪万森;孟昭逸;苏诚;熊峰;方贤进 | 申请(专利权)人: | 中国科学技术大学 |
主分类号: | H04L69/00 | 分类号: | H04L69/00;H04L43/18;G06N20/00 |
代理公司: | 安徽思沃达知识产权代理有限公司 34220 | 代理人: | 王茜 |
地址: | 230000*** | 国省代码: | 安徽;34 |
权利要求书: | 查看更多 | 说明书: | 查看更多 |
摘要: | 本发明公开了一种网络安全协议的自动形式化验证方法,包括步骤:一、输入协议模型;二、初始树构建;已依据静态策略路径选择执行六、否则执行三;三、依据静态策略进行路径选择;四、依据静态策略进行路径检查;路径循环执行二;完整且正确输出验证结果;正确但不完整执行五;五、定理树合并,已依据静态策略路径选择执行六、否则执行三;六、依据动态策略进行路径选择;七、依据动态策略进行路径检查;路径循环时训练神经网络优化证明策略再返回二;路径完整且正确时输出验证结果;路径正确但不完整时执行八;八、定理树合并:定理树合并,已依据静态策略进行了路径选择执行六、否则执行三。本发明全过程都自动化,准确性高,效率高。 | ||
搜索关键词: | 一种 网络安全 协议 自动 形式化 验证 方法 | ||
【主权项】:
暂无信息
下载完整专利技术内容需要扣除积分,VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息,商用须获得专利权人授权。该专利全部权利属于中国科学技术大学,未经中国科学技术大学许可,擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作,请联系【客服】
本文链接:http://www.vipzhuanli.com/patent/202211083948.9/,转载请声明来源钻瓜专利网。