• 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 ...
    • 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 ...