Patent ID: 11909592
Assignee: BEIJING UNIVERSITY OF POSTS AND TELECOMMUNICATIONS
Field: Digital communication (Electrical engineering)
Classification: CPC H  Y | IPC H

Claim 0:
1. A method for multi-policy conflict avoidance in an autonomous network, comprising:
step 1: collecting network state information, wherein the network state information includes a network topology, configuration information and network data in a network traffic;
step 2: acquiring a set of multiple policies to be verified;
step 3: generating all multi-policy execution sequences based on the set of multiple policies, and then constructing a policy ordering space tree containing all multi-policy execution sequences by using a tree data structure, wherein a node of the tree represents a network state, an edge represents a network command, and a path from a root to a leaf represents a sequential execution process of a network starting from an initial state according to network commands on edges, and wherein each of the multi-policy execution sequences is transformed into a path from the root to a leaf node of the tree;
step 4: performing a depth-first traversal on the policy ordering space tree; extracting a multi-policy execution sequence to be verified from the policy ordering space tree; then taking the network state information of step 1 as the initial state of the network, and formally simulating a forwarding table of each network element in the network by using software, so as to construct an initial simulation data plane; then injecting each policy in the multi-policy execution sequence to be verified into the simulation data plane one by one in sequence; simulating and calculating a simulation data plane generated after each policy is executed; and storing all generated simulation data planes; and
step 5: detecting whether there is a conflict in the simulation data plane generated after each policy in the multi-policy execution sequence to be verified is executed;
forming a conflict policy sequence according thereto; then inferring dependencies among multiple policies in the conflict policy sequence; pruning the policy ordering space tree; finally selecting a multi-policy execution sequence avoiding conflicts; and updating the multiple policies to an actual network data plane in sequence.