• A General Formalism for Defining and Detecting OpenFlow Rule Anomalies 

      Aryan, Ramtin; Yazidi, Anis; Engelstad, Paal E.; Kure, Øivind (Chapter; Peer reviewed, 2017)
      SDN network's policies are updated dynamically at a high pace. As a result, conflicts between policies are prone to occur. Due to the large number of switches and heterogeneous policies within a typical SDN network, detecting ...
    • An Incremental Approach for Swift OpenFlow Anomaly Detection 

      Aryan, Ramtin; Yazidi, Anis; Engelstad, Paal E. (2018 IEEE 43rd Conference on Local Computer Networks (LCN);, Conference object, 2018)
      Software Defined Networking (SDN) is designed for dynamic policy update where frequent changes are pushed to the forwarding devices. Different offline approaches for detecting misconfiguration anomalies in SDN by taking a ...
    • 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 ...
    • A parallel approach for detecting OpenFlow rule anomalies based on a general formalism 

      Aryan, Ramtin; Yazidi, Anis; Kure, Øivind; Engelstad, Paal E. (Concurrency and Computation;, Journal article; Peer reviewed, 2020-06-28)
      As the policies of a software-defined networking (SDN) network can be updated dynamically and often at a high pace, conflicts between policies can easily occur. Due to the large number of switches and heterogeneous policies ...