Search International and National Patent Collections

1. (WO2018222479) IDENTIFICATION OF CONFLICT RULES IN A NETWORK INTENT FORMAL EQUIVALENCE FAILURE

Pub. No.:    WO/2018/222479    International Application No.:    PCT/US2018/034292
Publication Date: Fri Dec 07 00:59:59 CET 2018 International Filing Date: Fri May 25 01:59:59 CEST 2018
IPC: H04L 29/06
Applicants: CISCO TECHNOLOGY, INC.
Inventors: MOHANRAM, Kartik
Title: IDENTIFICATION OF CONFLICT RULES IN A NETWORK INTENT FORMAL EQUIVALENCE FAILURE
Abstract:
Systems, methods, and computer-readable media for identifying conflict rules between models of network intents. A first and second model of network intents are obtained, the models describing the operation and communication between one or more network devices in a network. A logical exclusive disjunction between the first and second models is calculated over the space of possible packet conditions and network actions defined by models, without enumerating all possible packet conditions and network actions. It is detected whether the models are in conflict with respect to at least a first network device. If the models are in conflict, it is determined whether a given rule of a plurality of rules associated with the first model is a conflict rule. The determining comprises calculating the intersection between the given rule and the logical exclusive disjunction, wherein the given rule is a conflict rule if the calculated intersection is non-zero.