Hewlett Packard Enterprise Development LP

Mario Antonio Sanchez

Ying Zhang

Sujata Banerjee

Anu Mercian

Joon-Myung Kang

Raphael Amorim Dantas Leite

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.

Growing community of inventors

Palo Alto, CA, United States of America

Mario Antonio Sanchez