一种面向多域软件定义网络的配置验证方法
实质审查的生效
摘要
本发明公开了一种面向多域软件定义网络的配置验证方法，该验证方法包括，从多域软件定义网络的软件定义网络子网设备中提取配置信息，根据配置信息构造软件定义网络子网形式化模型。从多域软件定义网络的核心网设备中提取配置信息，根据配置信息构造核心网形式化模型。将所述软件定义网络子网形式化模型与所述核心网形式化模型组合为多域软件定义网络形式化模型。检查所述多域软件定义网络形式化模型是否存在对可达性和绝对阻塞网络规则的违反。如果所述模型中存在对所述网络规则的违反，则输出与所述违反对应的所述多域软件定义网络形式化模型中的流元素。如果不存在对所述网络规则的违反，则所述多域软件定义网络形式化模型通过了验证。该方法实现了对多域软件定义网络的配置验证，利于多域软件定义网络的部署与管理。
基本信息
专利标题 ：
一种面向多域软件定义网络的配置验证方法
专利标题（英）：
暂无
公开（公告）号 ：
CN114338378A
申请号 ：
CN202210024228.9
公开（公告）日 ：
2022-04-12
申请日 ：
2022-01-11
授权号 ：
暂无
授权日 ：
暂无
发明人 ：
姚姜源姜政李德顺羊秋玲黄向党
申请人 ：
海南大学
申请人地址 ：
海南省海口市美兰区人民大道58号科技处专利办公室
代理机构 ：
代理人 ：
优先权 ：
CN202210024228.9
主分类号 ：
H04L41/08
IPC分类号 ：
H04L41/08 H04L41/12 H04L41/14 H04L41/122
法律状态
2022-04-29 ：
实质审查的生效
IPC(主分类) : H04L 41/08
申请日 : 20220111
申请日 : 20220111
2022-04-12 ：
公开
注：本法律状态信息仅供参考，即时准确的法律状态信息须到国家知识产权局办理专利登记簿副本。
文件下载
暂无PDF文件可下载
