[发明专利]一种基于IPv6下的安全协议的形式化验证方法在审
| 申请号： | 202010693695.1 | 申请日： | 2020-07-17 |
| 公开（公告）号： | CN111885039A | 公开（公告）日： | 2020-11-03 |
| 发明（设计）人： | 何道敬;叶籽兰;邓智;宋铭辰 | 申请（专利权）人： | 华东师范大学 |
| 主分类号： | H04L29/06 | 分类号： | H04L29/06;H04L12/24 |
| 代理公司： | 上海蓝迪专利商标事务所(普通合伙) 31215 | 代理人： | 徐筱梅;张翔 |
| 地址： | 200241 *** | 国省代码： | 上海;31 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明公开了一种基于IPv6下的安全协议的形式化验证方法，涉及Ipv6网络安全领域，具体为一种针对安全协议的形式化验证方法，包括如下步骤：1）安全协议分析阶段提取安全协议所涉及的数据；2）安全协议简化阶段对提取的安全协议数据进行简化；3）安全协议形式化建模阶段使用Pi演算语法表示安全协议数据，进行形式化建模；4）自动化工具验证阶段使用Prolog编程语言描述形式化模型，使用ProVerif工具进行自动化验证，得到ProVerif工具输出的验证结果；5）可视化结果阶段对输出验证结果进行可视化显示，显示是否满足相应的安全目标。本发明主要应用于信息交换安全场合，针对IPv6网络环境安全，以SPFP协议为例进行形式化验证，有利于提高IPv6的移动网络环境的安全性。 | ||
| 搜索关键词： | 一种 基于 ipv6 安全 协议 形式化 验证 方法 | ||
【主权项】：
暂无信息
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于华东师范大学，未经华东师范大学许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/202010693695.1/，转载请声明来源钻瓜专利网。
