Goal of this project is to check network policy issues in a Software-Defined Networking based multi-controller cloud network.
intent.py - Used for extraction of intent from SDN controller
dataExtract.py - extracts the network topology information from json files with intent definition, and converts the extracted information into SMV format that can be used for model checking
trans_intent.py - translates administrator specified high-level policies into network intents
mission.json - specifies the mission requirements or admin policies at high-level
bgp_ls.json - BGP router sample policies
SMV_inter.py - translates the output of mission policies into SMV according to security requirements
conflict_check.py - security policy conflict checking code
bgp_topo.py - mininet BGP topology generation code