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