dc.contributor.author | Aryan, Ramtin | |
dc.contributor.author | Yazidi, Anis | |
dc.contributor.author | Engelstad, Paal E. | |
dc.contributor.author | Kure, Øivind | |
dc.date.accessioned | 2018-01-25T15:49:22Z | |
dc.date.accessioned | 2018-08-17T10:25:51Z | |
dc.date.available | 2018-01-25T15:49:22Z | |
dc.date.available | 2018-08-17T10:25:51Z | |
dc.date.issued | 2017 | |
dc.identifier.citation | Aryan R, Yazidi A, Engelstad P.E., Kure Ø: A General Formalism for Defining and Detecting OpenFlow Rule Anomalies. In: Jens. 42nd IEEE Conference on Local Computer Networks, 2017. IEEE conference proceedings p. 426-434 | en |
dc.identifier.uri | https://hdl.handle.net/10642/6066 | |
dc.description.abstract | 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 those conflicts is a laborious and challenging task. This paper presents two-fold contributions. First, we devise an offline method for detecting unmatched OpenFlow rules, i.e., those rules that are never fired. At the heart of our scheme is a formal approach for predicting the packet's path inside a SDN network. In this perspective, we proffer the taxonomy: invalid and irrelevant anomalies for the unmatched rules. Second, we introduce a new set of definitions for the intra-anomalies, which might occur when using the OpenFlow rule's multi-action feature. We provide some comprehensive experimental results that show the feasibility of our approach and its ability to scale within large SDN network. | en |
dc.language.iso | en | en |
dc.publisher | IEEE | en |
dc.subject | OpenFlow | en |
dc.subject | Anomaly detection | en |
dc.subject | Unmatched rules | en |
dc.subject | Software defined networks | en |
dc.title | A General Formalism for Defining and Detecting OpenFlow Rule Anomalies | en |
dc.type | Chapter | en |
dc.type | Peer reviewed | en |
dc.date.updated | 2018-01-25T15:49:22Z | |
dc.description.version | publishedVersion | en |
dc.identifier.cristin | 1552162 | |
dc.source.isbn | 978-1-5090-6523-3 | |