公开(公告)号：CN109964451B

公开(公告)日：2022-06-07

申请号：CN201780070172.8

申请日：2017-11-17

申请人： 亚马逊科技公司

发明人： J·库克 ,  C·道奇 ,  S·麦克劳林

IPC分类号： H04L41/02

摘要： 一种用于提供商网络的虚拟网络验证服务，其利用声明性逻辑编程语言以允许客户端提出关于其虚拟网络的查询作为约束问题；可以使用约束求解器引擎解析所述查询。用于提供商网络环境中的虚拟网络的联网原语的语义和逻辑可以根据所述逻辑编程语言被编码为一组规则；联网安全标准和/或客户端限定的规则也可以在所述规则中编码。可以获得且编码虚拟网络的描述。随后可以使用所述约束求解器引擎根据编码规则针对所述编码描述解析由查询表达的约束问题；可以将结果提供到客户端。

公开(公告)号：CN112334901B

公开(公告)日：2024-07-12

申请号：CN201980043063.6

申请日：2019-06-26

申请人： 亚马逊科技公司

发明人： C·道奇 ,  N·R·切鲁库 ,  J·B·库克 ,  T·卡萨伊·阿泽尼 ,  W·J·库西克 ,  S·麦克劳林 ,  M·E·斯塔泽尔 ,  B·瓦莱伊 ,  吴轶文

IPC分类号： G06F21/57 ,  H04L41/0866 ,  H04L41/12 ,  H04L41/22 ,  H04L43/06 ,  H04L9/40

摘要： 公开了用于自动无分组网络可达性分析的方法、系统和计算机可读介质。对包括主机计算机的网络的网络配置数据进行分析。至少部分地基于所述分析，确定主机计算机上可从另一计算机可达的一个或多个端口。至少部分地基于所述分析，确定到所述一个或多个端口的一条或多条路由。生成描述一个或多个端口以及一个或多个路由的报告。

公开(公告)号：CN112334901A

公开(公告)日：2021-02-05

申请号：CN201980043063.6

申请日：2019-06-26

申请人： 亚马逊科技公司

发明人： C·道奇 ,  N·R·切鲁库 ,  J·B·库克 ,  T·卡萨伊·阿泽尼 ,  W·J·库西克 ,  S·麦克劳林 ,  M·E·斯塔泽尔 ,  B·瓦莱伊 ,  吴轶文

IPC分类号： G06F21/57 ,  H04L29/06

摘要： 公开了用于自动无分组网络可达性分析的方法、系统和计算机可读介质。对包括主机计算机的网络的网络配置数据进行分析。至少部分地基于所述分析，确定主机计算机上可从另一计算机可达的一个或多个端口。至少部分地基于所述分析，确定到所述一个或多个端口的一条或多条路由。生成描述一个或多个端口以及一个或多个路由的报告。

公开(公告)号：CN114884822B

公开(公告)日：2024-04-05

申请号：CN202210533894.5

申请日：2017-11-17

申请人： 亚马逊科技公司

发明人： J·库克 ,  C·道奇 ,  S·麦克劳林

IPC分类号： H04L41/0895 ,  H04L41/0803 ,  H04L12/46 ,  G06F9/455

摘要： 本公开涉及虚拟网络验证服务。一种用于提供商网络的虚拟网络验证服务，其利用声明性逻辑编程语言以允许客户端提出关于其虚拟网络的查询作为约束问题；可以使用约束求解器引擎解析所述查询。用于提供商网络环境中的虚拟网络的联网原语的语义和逻辑可以根据所述逻辑编程语言被编码为一组规则；联网安全标准和/或客户端限定的规则也可以在所述规则中编码。可以获得且编码虚拟网络的描述。随后可以使用所述约束求解器引擎根据编码规则针对所述编码描述解析由查询表达的约束问题；可以将结果提供到客户端。

公开(公告)号：CN114884822A

公开(公告)日：2022-08-09

申请号：CN202210533894.5

申请日：2017-11-17

申请人： 亚马逊科技公司

发明人： J·库克 ,  C·道奇 ,  S·麦克劳林

IPC分类号： H04L41/0895 ,  H04L41/0803 ,  H04L12/46 ,  G06F9/455

摘要： 本公开涉及虚拟网络验证服务。一种用于提供商网络的虚拟网络验证服务，其利用声明性逻辑编程语言以允许客户端提出关于其虚拟网络的查询作为约束问题；可以使用约束求解器引擎解析所述查询。用于提供商网络环境中的虚拟网络的联网原语的语义和逻辑可以根据所述逻辑编程语言被编码为一组规则；联网安全标准和/或客户端限定的规则也可以在所述规则中编码。可以获得且编码虚拟网络的描述。随后可以使用所述约束求解器引擎根据编码规则针对所述编码描述解析由查询表达的约束问题；可以将结果提供到客户端。

公开(公告)号：CN118656832A

公开(公告)日：2024-09-17

申请号：CN202410814063.4

申请日：2019-06-26

申请人： 亚马逊科技公司

发明人： C·道奇 ,  N·R·切鲁库 ,  J·B·库克 ,  T·卡萨伊·阿泽尼 ,  W·J·库西克 ,  S·麦克劳林 ,  M·E·斯塔泽尔 ,  B·瓦莱伊 ,  吴轶文

IPC分类号： G06F21/57 ,  H04L41/0866 ,  H04L41/12 ,  H04L41/22 ,  H04L43/06 ,  H04L9/40

摘要： 公开了用于自动化无分组网络可达性分析的方法、系统和计算机可读介质。对包括主机计算机的网络的网络配置数据进行分析。至少部分地基于所述分析，确定主机计算机上可从另一计算机可达的一个或多个端口。至少部分地基于所述分析，确定到所述一个或多个端口的一条或多条路由。生成描述一个或多个端口以及一个或多个路由的报告。

公开(公告)号：CN109964451A

公开(公告)日：2019-07-02

申请号：CN201780070172.8

申请日：2017-11-17

申请人： 亚马逊科技公司

发明人： J·库克 ,  C·道奇 ,  S·麦克劳林

IPC分类号： H04L12/24

摘要： 一种用于提供商网络的虚拟网络验证服务，其利用声明性逻辑编程语言以允许客户端提出关于其虚拟网络的查询作为约束问题；可以使用约束求解器引擎解析所述查询。用于提供商网络环境中的虚拟网络的联网原语的语义和逻辑可以根据所述逻辑编程语言被编码为一组规则；联网安全标准和/或客户端限定的规则也可以在所述规则中编码。可以获得且编码虚拟网络的描述。随后可以使用所述约束求解器引擎根据编码规则针对所述编码描述解析由查询表达的约束问题；可以将结果提供到客户端。