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:
Feb. 18, 2020

Filed:

Aug. 25, 2017
Applicant:

Hewlett Packard Enterprise Development Lp, Houston, TX (US);

Inventors:

Joon-Myung Kang, Palo Alto, CA (US);

Mario Antonio Sanchez, Palo Alto, CA (US);

Ying Zhang, Palo Alto, CA (US);

Anu Mercian, Santa Clara, CA (US);

Raphael Amorim Dantas Leite, Santa Clara, CA (US);

Sujata Banerjee, Palo Alto, CA (US);

Assignee:
Attorney:
Primary Examiner:
Int. Cl.
CPC ...
H04L 29/06 (2006.01); G06F 21/57 (2013.01); G06F 21/60 (2013.01); H04L 12/26 (2006.01);
U.S. Cl.
CPC ...
H04L 63/10 (2013.01); G06F 21/577 (2013.01); G06F 21/604 (2013.01); H04L 63/20 (2013.01); H04L 43/04 (2013.01); H04L 63/0263 (2013.01);
Abstract

Example method includes: receiving, by a network device, a plurality of input policy graphs and a composed policy graph associated with the input policy graphs; dividing the composed policy graph into a plurality of sub-graphs, each sub-graph comprising a plurality of edges and a plurality of source nodes and destination nodes that the edges are connected to; selecting a first subset of sub-graphs that include, as a source node, a disjoint part of an original source EPG for each input policy graph; identifying a second subset within the first subset of sub-graphs that include, as a destination node, a disjoint part of an original destination EPG for the each input policy graph; and verifying whether connectivity in the composed policy graph reflects a corresponding policy in the plurality of input policy graphs for each sub-graph in the second subset.


Find Patent Forward Citations

Loading…