Inventors:
- Kawasaki-shi, JP
Ali Kheradmand - Urbana IL, US
Assignee:
FUJITSU LIMITED - Kawasaki-shi
International Classification:
H04L 12/851
H04L 29/06
H04L 12/863
H04L 12/26
Abstract:
A method may include obtaining packet handling rules from network nodes in a network. The method also includes, using the rules, generating a transitive reduction of a partially ordered set of elements, where the elements correspond to match conditions in the rules, each match condition representing a set of packets identified by packet headers. The method may also include generating packet equivalence classes (PECs) by removing children elements from a parent element in the transitive reduction, where each PEC covers disjoint sets of packets, and each PEC is identified by fields in the packet headers including source address, destination address, and protocol of packets. The PECs may represent a group of packets treated in a same manner in the network. The method may also include generating a graph representation of the network nodes utilizing the PECs, and, using the graph representation, verifying properties of operation of the network.