Show simple item record

dc.contributor.authorShukla, Apoorv
dc.contributor.authorSaidi, S. Jawad
dc.contributor.authorSchmid, Stefan
dc.contributor.authorCanini, Marco
dc.contributor.authorZinner, Thomas
dc.contributor.authorFeldmann, Anja
dc.date.accessioned2019-11-28T07:20:53Z
dc.date.available2019-11-28T07:20:53Z
dc.date.issued2019-11-26
dc.identifier.citationShukla, A., Saidi, S. J., Schmid, S., Canini, M., Zinner, T., & Feldmann, A. (2019). Towards Consistent SDNs: A Case for Network State Fuzzing. IEEE Transactions on Network and Service Management, 1–1. doi:10.1109/tnsm.2019.2955790
dc.identifier.doi10.1109/TNSM.2019.2955790
dc.identifier.urihttp://hdl.handle.net/10754/660304
dc.description.abstractThe conventional wisdom is that a software-defined network (SDN) operates under the premise that the logically centralized control plane has an accurate representation of the actual data plane state. Unfortunately, bugs, misconfigurations, faults or attacks can introduce inconsistencies that undermine correct operation. Previous work in this area, however, lacks a holistic methodology to tackle this problem and thus, addresses only certain parts of the problem. Yet, the consistency of the overall system is only as good as its least consistent part. Motivated by an analogy of network consistency checking with program testing, we propose to add active probe-based network state fuzzing to our consistency check repertoire. Hereby, our system, PAZZ, combines production traffic with active probes to periodically test if the actual forwarding path and decision elements (on the data plane) correspond to the expected ones (on the control plane). Our insight is that active traffic covers the inconsistency cases beyond the ones identified by passive traffic. PAZZ prototype was built and evaluated on topologies of varying scale and complexity. Our results show that PAZZ requires minimal network resources to detect persistent data plane faults through fuzzing and localize them quickly while outperforming baseline approaches.
dc.description.sponsorshipWe thank Georgios Smaragdakis and our anonymous reviewers for their helpful feedback. This work and its dissemination efforts were conducted as a part of Verify project supported by the German Bundesministerium für Bildung und Forschung (BMBF) Software Campus grant 01IS17052.
dc.language.isoen
dc.publisherInstitute of Electrical and Electronics Engineers (IEEE)
dc.relation.urlhttps://ieeexplore.ieee.org/document/8913474/
dc.relation.urlhttps://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=8913474
dc.rights(c) 2019 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other users, 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 components of this work in other works.
dc.subjectConsistency
dc.subjectFuzzing
dc.subjectNetwork verification
dc.subjectSoftware defined networking.
dc.titleTowards Consistent SDNs: A Case for Network State Fuzzing
dc.typeArticle
dc.contributor.departmentComputer Science Program
dc.contributor.departmentComputer, Electrical and Mathematical Sciences and Engineering (CEMSE) Division
dc.identifier.journalIEEE Transactions on Network and Service Management
dc.eprint.versionPost-print
dc.contributor.institutionTU Berlin.
dc.contributor.institutionMPI-Informatics.
dc.contributor.institutionFaculty of Computer Science, University of Vienna.
dc.contributor.institutionMPI-Informatics, and also with the Saarland University.
dc.contributor.affiliationKing Abdullah University of Science and Technology (KAUST)
pubs.publication-statusAccepted
kaust.personCanini, Marco
refterms.dateFOA2019-11-28T07:20:54Z
dc.date.published-online2019-11-26
dc.date.published-print2020-06


Files in this item

Thumbnail
Name:
pazz.tnsm19.pdf
Size:
754.3Kb
Format:
PDF

This item appears in the following Collection(s)

Show simple item record