申请/专利权人：清华大学

申请日：2024-01-08

公开（公告）日：2024-04-05

公开（公告）号：CN117834437A

主分类号：H04L41/0866

分类号：H04L41/0866;H04L45/00;H04L45/03;H04L41/12;H04L41/14;H04L43/16;H04L9/40

优先权：

专利状态码：在审-实质审查的生效

法律状态：2024.04.23#实质审查的生效;2024.04.05#公开

摘要：本申请提出了一种基于互联网路由配置的量化属性验证方法，涉及网络验证技术领域，其中，该方法包括：根据待验证网络中路由器的网络配置、拓扑信息进行符号模拟执行，生成符号化的路由表；根据符号化的路由表生成网络控制平面的逻辑公式矩阵；根据网络控制平面的逻辑公式矩阵和访问控制列表ACL配置生成网络数据平面的逻辑公式矩阵；根据网络数据平面的逻辑公式矩阵，对待验证网络中k链路失效的情况下的量化属性进行验证。采用上述方案的本发明实现了路由器配置的快速、准确的验证。

主权项：1.一种基于互联网路由配置的量化属性验证方法，其特征在于，包括以下步骤：根据待验证网络中路由器的网络配置、拓扑信息进行符号模拟执行，生成符号化的路由表；根据符号化的路由表生成网络控制平面的逻辑公式矩阵；根据网络控制平面的逻辑公式矩阵和访问控制列表ACL配置生成网络数据平面的逻辑公式矩阵；根据网络数据平面的逻辑公式矩阵，对待验证网络中k链路失效的情况下的量化属性进行验证。

全文数据：

权利要求：

百度查询： 清华大学 基于互联网路由配置的量化属性验证方法

免责声明
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。

阅读全文 双屏查看 官方信息 专利公告 收藏专利 下载PDF 下载WORD