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-29T11:54:45Z | |
dc.date.available | 2018-01-29T11:54:45Z | |
dc.date.created | 2018-01-25T16:45:31Z | |
dc.date.issued | 2017 | |
dc.identifier.isbn | 978-1-5090-6523-3 | |
dc.identifier.uri | http://hdl.handle.net/11250/2480253 | |
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. | nb_NO |
dc.language.iso | eng | nb_NO |
dc.publisher | Institute of Electrical and Electronics Engineers (IEEE) | nb_NO |
dc.relation.ispartof | 42nd IEEE Conference on Local Computer Networks | |
dc.title | A General Formalism for Defining and Detecting OpenFlow Rule Anomalies | nb_NO |
dc.type | Chapter | nb_NO |
dc.description.version | submittedVersion | nb_NO |
dc.source.pagenumber | 426-434 | nb_NO |
dc.identifier.doi | 10.1109/LCN.2017.94 | |
dc.identifier.cristin | 1552162 | |
dc.description.localcode | © 2017 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works. | nb_NO |
cristin.unitcode | 194,0,0,0 | |
cristin.unitname | Norges teknisk-naturvitenskapelige universitet | |
cristin.ispublished | true | |
cristin.fulltext | preprint | |
cristin.qualitycode | 1 | |