买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！

龙图腾网获悉清华大学申请的专利基于混合符号化的路由配置验证方法、装置和电子设备获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN119583419B 。

龙图腾网通过国家知识产权局官网在2026-03-13发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202411425327.3，技术领域涉及：H04L45/00；该发明授权基于混合符号化的路由配置验证方法、装置和电子设备是由李亚慧;刘鑫喆;张晗;尹霞;施新刚;王之梁;任罡设计研发完成，并于2024-10-12向国家知识产权局提交的专利申请。

本基于混合符号化的路由配置验证方法、装置和电子设备在说明书摘要公布了：本申请涉及计算机网络技术领域，特别涉及一种基于混合符号化的路由配置验证方法、装置和电子设备，其中，方法包括：根据网络配置构建混合符号化网络模型；利用混合符号化网络模型推理网络在任意环境下的控制平面行为，并根据控制平面行为推理网络在任意环境下的转发行为；根据转发结果判断网络的转发行为是否符合网络管理员的意图。由此，解决了目前路由配置验证方法无法在满足可扩展性的同时充分发现路由配置中的错误的问题，能够验证网络在任意环境下的转发行为，充分发现配置中的潜在错误。

本发明授权基于混合符号化的路由配置验证方法、装置和电子设备在权利要求书中公布了：1.一种基于混合符号化的路由配置验证方法，其特征在于，包括以下步骤： 根据网络配置构建混合符号化网络模型； 利用所述混合符号化网络模型推理网络在任意环境下的控制平面行为，并根据控制平面行为推理网络在任意环境下的转发行为； 根据转发结果判断所述网络的转发行为是否符合网络管理员的意图； 所述构建混合符号化网络模型，包括：确定网络中运行的协议以及对应的协议路由；根据协议路由属性和对应的网络配置，划分对应的属性等价类；根据属性等价类和所述网络配置所述构建混合符号化网络模型； 所述利用混合符号化网络模型推理网络在任意环境下的控制平面行为，包括：根据符号化的路由宣告条件和路由拓扑条件，结合通过等价类表示的协议路由属性，构建对应的混合符号化协议路由；通过混合符号化仿真得到网络在任意环境下的控制平面行为； 所述根据控制平面行为推理网络在任意环境下的转发行为，包括：根据网络在任意环境下的控制平面行为进行混合符号化数据包转发，推理网络在任意环境下的数据平面转发行为，在每个路由器处得到在任意环境下收到的数据包； 所述根据转发结果判断所述网络的转发行为是否符合网络管理员的意图，还包括：根据待验证属性提取所述数据包对应的属性相关数据包，并根据所述属性相关数据包判断所述网络的转发行为是否在任意环境下符合所述网络管理员的意图；若所述属性相关数据包不符合所述网络管理员的意图，则返回导致网络管理员的意图被违反的所有错误的转发行为，以供网络管理员修正错误配置。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人清华大学，其通讯地址为：100084 北京市海淀区清华园1号；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。

以上内容由龙图腾AI智能生成。