The patent badge is an abbreviated version of the USPTO patent document. The patent badge does contain a link to the full patent document.

The patent badge is an abbreviated version of the USPTO patent document. The patent badge covers the following: Patent number, Date patent was issued, Date patent was filed, Title of the patent, Applicant, Inventor, Assignee, Attorney firm, Primary examiner, Assistant examiner, CPCs, and Abstract. The patent badge does contain a link to the full patent document (in Adobe Acrobat format, aka pdf). To download or print any patent click here.

Date of Patent:
Dec. 21, 2021

Filed:

Dec. 10, 2020
Applicant:

Amazon Technologies, Inc., Seattle, WA (US);

Inventors:

Samuel Bayless, Vancouver, CA;

John David Backes, Minneapolis, MN (US);

Daniel William Dacosta, Saint Paul, MN (US);

Benjamin F Jones, Portland, OR (US);

Patrick Trentin, Borgo Valsugana, IT;

Nathan Launchbury, Portland, OR (US);

Sagar Chintamani Joshi, Redmond, WA (US);

Nandita Mathews, Seattle, WA (US);

Assignee:

Amazon Technologies, Inc., Seattle, WA (US);

Attorney:
Primary Examiner:
Int. Cl.
CPC ...
G06F 15/177 (2006.01); H04L 12/24 (2006.01); H04L 12/26 (2006.01);
U.S. Cl.
CPC ...
H04L 41/0672 (2013.01); H04L 41/0816 (2013.01); H04L 41/0886 (2013.01); H04L 41/12 (2013.01); H04L 41/22 (2013.01); H04L 43/0817 (2013.01); H04L 43/0852 (2013.01);
Abstract

This disclosure describes techniques for identifying blocked paths and network configuration settings that block paths in networks, such as network paths in a virtual private cloud (VPC). The configuration of virtual networks depends on the correct configuration of many networking resources, such as firewalls, security groups, routing lists, access control lists (ACLs), and the like. In some cases, an analysis that uses formal methods can be performed to determine a network configuration of a virtual network. Using the network configuration information, network paths that are blocked and network configuration settings that may be blocking one or more of the network paths can be determined. The PAS can provide an explanation of what is blocking the network paths. For example, the PAS may identify that a configuration setting of a firewall, router, network gateway, an access control list (ACL), and the like may be blocking a network path.


Find Patent Forward Citations

Loading…