华为技术有限公司阿什坎·索巴尼获国家专利权
买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！
龙图腾网获悉华为技术有限公司申请的专利用于分布式网络验证的方法和系统获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN116601928B 。
龙图腾网通过国家知识产权局官网在2026-01-09发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202180080088.0，技术领域涉及：H04L41/0866；该发明授权用于分布式网络验证的方法和系统是由阿什坎·索巴尼;禇兴军设计研发完成，并于2021-03-11向国家知识产权局提交的专利申请。
本用于分布式网络验证的方法和系统在说明书摘要公布了：描述了用于部分或完全分布式网络验证的方法和系统。在部分分布式网络验证中，每个网络设备生成相应设备级二叉判定图binarydecisiondiagram，BDD，该BDD表示相应网络设备针对感兴趣的网络属性的逻辑行为。来自每个网络设备的设备级BDD由验证服务接收，该验证服务通过生成表示输入报头空间的输入BDD来执行验证，在从源设备到目的设备的逻辑路径中应用每个设备级BDD，并报告输出BDD。在完全分布式网络验证中，每个网络设备负责通过将表示网络设备的逻辑行为的设备特定的BDD应用于设备特定的输入BDD，来计算设备特定的输出BDD。
本发明授权用于分布式网络验证的方法和系统在权利要求书中公布了：1.一种用于验证网络的方法，其特征在于，所述方法包括： 从所述网络中的每个网络设备获取相应设备级二叉判定图BDD，所述BDD表示相应网络设备针对感兴趣的网络属性的逻辑行为； 生成输入BDD用于查询所述感兴趣的网络属性，其中，所述输入BDD表示输入报头空间，所述输入报头空间表示在源设备接收到的可能的数据包报头，所述源设备位于表示所述网络设备之间连接的逻辑拓扑中； 计算用于表示由所述逻辑拓扑中的目的设备输出的输出报头空间的输出BDD，其中，所述输出BDD是通过将从所述源设备到所述目的设备的逻辑路径中的每个设备级BDD顺序地应用于所述输入BDD计算得到的； 报告所述输出BDD为可达报头空间； 将报告的输出BDD与预期的输出BDD进行比较，以验证所述感兴趣的网络属性。
如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人华为技术有限公司，其通讯地址为：518129 广东省深圳市龙岗区坂田华为总部办公楼；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。
以上内容由龙图腾AI智能生成。
免责声明
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
开放平台
担保交易
惠及多方
会员特惠
专属平台
适合多方
数据共享
功能齐全
皖公网安备 34010402703815号
请提出您的宝贵建议，有机会获取IP积分或其他奖励