公开(公告)号：CN107113238B

公开(公告)日：2020-09-11

申请号：CN201680004466.6

申请日：2016-01-28

Applicant: 华为技术有限公司

Inventor： 禇兴军 ,  万涛 ,  尹国理 ,  吴雅鹏 ,  彼得·艾斯伍德-史密斯 ,  寅峰·亨利·虞 ,  卡尔杜恩·阿尔-祖比

IPC: H04L12/741

Abstract: 路由器使用虚拟路由转发节点来实施业务链的业务结构。所述路由器可配置M+1个虚拟路由转发实例，M是一个整数，表示数据中心网络中的多个业务设施的数量。每个虚拟路由转发实例可与包括路由规则的一个路由表关联以定义不同的业务链路由路径。所述路由规则基于数据包中的目的地址。

公开(公告)号：CN105960784A

公开(公告)日：2016-09-21

申请号：CN201580007122.6

申请日：2015-02-06

Applicant: 华为技术有限公司

Inventor： 万涛 ,  尹国理 ,  吴雅鹏 ,  彼得·艾斯伍德-史密斯 ,  禇兴军

IPC: H04L12/915

CPC classification number: H04L41/145 ,  H04L41/12 ,  H04L41/22

Abstract: 本文提供实施例，以在云中创建带有业务链的虚拟网络(如n层网络)。在一个实施例中，通过图形用户界面从用户接收虚拟网络的组网图。所述组网图包括表示虚拟或物理网络组件的单元。所述网络组件包括交换机、路由器、防火墙、链路、业务设施、虚拟机、服务器或其他网络组件。当所述组网图成功生效时，通过生效步骤将所述组网图编译成准备执行的应用编程接口(application programming interface，API)调用。所执行的API用于在物理网络基础设施上建立虚拟网络。所述虚拟网络包括对应于所述单元或所述组网图的虚拟网络组件。

公开(公告)号：CN107211048B

公开(公告)日：2020-06-02

申请号：CN201680009027.4

申请日：2016-02-05

Applicant: 华为技术有限公司

Inventor： 万涛 ,  彼得·艾斯伍德·史密斯 ,  迈赫迪·阿拉什米德·阿卡哈瓦因·穆罕默迪 ,  吴雅鹏 ,  禇兴军 ,  尹国理

IPC: H04L29/08 ,  H04L12/721

Abstract: 一种业务链接方法包括：接收源路由数据包，其中所述源路由数据包包括目的地址并标识沿着业务链路径的多个下一跳；使用所述多个下一跳确认所述源路由数据包的下一跳；确定所述下一跳是否能够进行源路由；设置所述源路由数据包的目的地址根据所述确定的结果来设置所述源路由数据包的目的地址，其中，当所述下一跳能够进行源路由时，将所述目的地址设置为所述下一跳，当所述下一跳不能进行源路由时，将所述目的地址设置为下一个能够进行源路由的下游网络节点；以及将所述源路由数据包转发给所述下一跳。

公开(公告)号：CN107113208B

公开(公告)日：2020-01-10

申请号：CN201680004366.3

申请日：2016-01-12

Applicant: 华为技术有限公司

Inventor： 禇兴军 ,  尹国理 ,  吴雅鹏 ,  万涛 ,  彼得·艾斯伍德-史密斯 ,  虞寅峰 ,  卡尔杜恩·阿尔-祖比

IPC: H04L12/28

Abstract: 一种可以用在网络虚拟化中以便指定应用的需求的业务描述。为了提供包括传统网络组件在内的通用网络组件的网络虚拟化，将所述业务描述映射到逻辑网络实现，随后映射到物理实现。

公开(公告)号：CN107113203A

公开(公告)日：2017-08-29

申请号：CN201680004357.4

申请日：2016-01-15

Applicant: 华为技术有限公司

Inventor： 禇兴军 ,  寅峰·亨利·虞 ,  尹国理 ,  吴雅鹏 ,  万涛 ,  彼得·艾斯伍德-史密斯 ,  卡尔杜恩·阿尔-祖比

IPC: H04L12/26

Abstract: 设备、系统和方法测试网络连通性，其中物理网络用于提供连接业务设施的一个或多个业务链，所述业务设施包括防火墙、入侵检测系统、负载均衡器、网络地址转换器、web服务器，等等。一个业务链可包括多个路由路径。所述设备、系统和方法通过以下方式来测试网络连通性：在每个路由路径上注入定制回波请求包，并且收集作为响应的定制回波应答包。所述定制回波应答包被处理并聚合以找出网络连通性问题。

公开(公告)号：CN112134798A

公开(公告)日：2020-12-25

申请号：CN202010831025.1

申请日：2016-01-28

Applicant: 华为技术有限公司

Inventor： 禇兴军 ,  万涛 ,  尹国理 ,  吴雅鹏 ,  彼得·艾斯伍德-史密斯 ,  寅峰·亨利·虞 ,  卡尔杜恩·阿尔-祖比

IPC: H04L12/713 ,  H04L12/715 ,  H04L12/741

Abstract: 路由器使用虚拟路由转发节点来实施业务链的业务结构。所述路由器可配置M+1个虚拟路由转发实例，M是一个整数，表示数据中心网络中的多个业务设施的数量。每个虚拟路由转发实例可与包括路由规则的一个路由表关联以定义不同的业务链路由路径。所述路由规则基于数据包中的目的地址。

公开(公告)号：CN107113238A

公开(公告)日：2017-08-29

申请号：CN201680004466.6

申请日：2016-01-28

Applicant: 华为技术有限公司

Inventor： 禇兴军 ,  万涛 ,  尹国理 ,  吴雅鹏 ,  彼得·艾斯伍德-史密斯 ,  寅峰·亨利·虞 ,  卡尔杜恩·阿尔-祖比

IPC: H04L12/741

Abstract: 路由器使用虚拟路由转发节点来实施业务链的业务结构。所述路由器可配置M+1个虚拟路由转发实例，M是一个整数，表示数据中心网络中的多个业务设施的数量。每个虚拟路由转发实例可与包括路由规则的一个路由表关联以定义不同的业务链路由路径。所述路由规则基于数据包中的目的地址。

公开(公告)号：CN116601928A

公开(公告)日：2023-08-15

申请号：CN202180080088.0

申请日：2021-03-11

Applicant: 华为技术有限公司

Inventor： 阿什坎·索巴尼 ,  禇兴军

IPC: H04L41/0866 ,  H04L41/14 ,  H04L41/12

Abstract: 描述了用于部分或完全分布式网络验证的方法和系统。在部分分布式网络验证中，每个网络设备生成相应设备级二叉判定图(binary decision diagram，BDD)，该BDD表示相应网络设备针对感兴趣的网络属性的逻辑行为。来自每个网络设备的设备级BDD由验证服务接收，该验证服务通过生成表示输入报头空间的输入BDD来执行验证，在从源设备到目的设备的逻辑路径中应用每个设备级BDD，并报告输出BDD。在完全分布式网络验证中，每个网络设备负责通过将表示网络设备的逻辑行为的设备特定的BDD应用于设备特定的输入BDD，来计算设备特定的输出BDD。

公开(公告)号：CN115867898A

公开(公告)日：2023-03-28

申请号：CN202180050346.0

申请日：2021-04-20

Applicant: 华为技术有限公司

Inventor： 阿什坎·索巴尼 ,  禇兴军 ,  穆罕默德·埃尔·阿扎布 ,  萨拉赫丁·哈马迪

IPC: G06F11/36

Abstract: 描述了使用基于熵的二进制决策图(BDD)压缩进行网络模型检查的方法、系统和介质。描述了两种相关压缩技术：比特级缩减，其根据每一网络字段的性质减少该网络字段所需的比特数；以及字段级缩减，其通过找到BDD空间中字段的近似最优排序来减小BDD树的大小。这两种技术可以单独或一起缓解限制基于BDD的模型检查的应用的状态爆炸问题。这两种技术协同互补，特别是在计算机网络检查和验证领域。

公开(公告)号：CN107534655B

公开(公告)日：2020-06-26

申请号：CN201680021991.9

申请日：2016-05-03

Applicant: 华为技术有限公司

Inventor： 虞寅峰 ,  迈赫迪·阿拉什米德·阿卡哈瓦因·穆罕默迪 ,  万涛 ,  尹国理 ,  禇兴军 ,  卡尔杜恩·阿尔-祖比 ,  吴雅鹏

IPC: H04L29/06

Abstract: 一种由网络防火墙实施的方法，包括：获取用于网络测试的第一认证令牌，接收用于对连接到该网络防火墙的网元(network element，NE)进行网络测试的测试请求消息，通过判断所述测试请求消息是否包括与所述第一认证令牌匹配的第二认证令牌来认证该测试请求消息，以及当所述第二认证令牌与第一认证令牌匹配时，授权所述NE的所述网络测试。