Browsing ODA Open Digital Archive by Author "Bouhoula, Adel"
Now showing items 1-1 of 1
-
Net Auto-Solver: A formal approach for automatic resolution of OpenFlow anomalies
Aryan, Ramtin; Yazidi, Anis; Engelstad, Paal E.; Bouhoula, Adel (Conference on Local Computer Networks; 2020 IEEE 45th Conference on Local Computer Networks (LCN), Journal article; Peer reviewed, 2021-01-15)Policy anomalies are frequent in nowadays’s computer networks due to their increasing configuration complexity. Resolving policy anomalies usually requires network administrator intervention, which is a time-intensive and ...