Range Encoding-Based Network Verification in SDN

Yen Lun Tseng, Guey Yun Chang, Chun Chung Shih, Yue Xin Liu, Tien Hsiang Wu

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

1 Scopus citations

Abstract

In modern networks, faults in the network state, e.g., loops, black holes and access control violations that make services unavailable, arise commonly. To ensure networks' correctness, existing approaches verify network-wide invariants. However, these approaches cannot detect or prevent faults immediately as they arise, so that network performance is not affected. In this paper, we present a data plane verification algorithm with low latency. To provide live protection, our algorithm detects faulty rules issued by SDN applications, and prevent them from reaching the data plane of network. According to experiments which use real world network rule sets, our algorithm efficiently processes rule update and verification.

Original languageEnglish
Title of host publicationProceedings - 2016 IEEE 14th International Conference on Dependable, Autonomic and Secure Computing, DASC 2016, 2016 IEEE 14th International Conference on Pervasive Intelligence and Computing, PICom 2016, 2016 IEEE 2nd International Conference on Big Data Intelligence and Computing, DataCom 2016 and 2016 IEEE Cyber Science and Technology Congress, CyberSciTech 2016, DASC-PICom-DataCom-CyberSciTech 2016
EditorsKevin I-Kai Wang, Qun Jin, Md Zakirul Alam Bhuiyan, Qingchen Zhang, Ching-Hsien Hsu
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages400-405
Number of pages6
ISBN (Electronic)9781509040650
DOIs
StatePublished - 11 Oct 2016
Event14th IEEE International Conference on Dependable, Autonomic and Secure Computing, DASC 2016, 14th IEEE International Conference on Pervasive Intelligence and Computing, PICom 2016, 2nd IEEE International Conference on Big Data Intelligence and Computing, DataCom 2016 and 2016 IEEE Cyber Science and Technology Congress, CyberSciTech 2016, DASC-PICom-DataCom-CyberSciTech 2016 - Auckland, New Zealand
Duration: 8 Aug 201610 Aug 2016

Publication series

NameProceedings - 2016 IEEE 14th International Conference on Dependable, Autonomic and Secure Computing, DASC 2016, 2016 IEEE 14th International Conference on Pervasive Intelligence and Computing, PICom 2016, 2016 IEEE 2nd International Conference on Big Data Intelligence and Computing, DataCom 2016 and 2016 IEEE Cyber Science and Technology Congress, CyberSciTech 2016, DASC-PICom-DataCom-CyberSciTech 2016

Conference

Conference14th IEEE International Conference on Dependable, Autonomic and Secure Computing, DASC 2016, 14th IEEE International Conference on Pervasive Intelligence and Computing, PICom 2016, 2nd IEEE International Conference on Big Data Intelligence and Computing, DataCom 2016 and 2016 IEEE Cyber Science and Technology Congress, CyberSciTech 2016, DASC-PICom-DataCom-CyberSciTech 2016
Country/TerritoryNew Zealand
CityAuckland
Period8/08/1610/08/16

Keywords

  • Network Verification
  • Range Encoding
  • Software-defined Networks
  • Ternary Content Addressable Memory

Fingerprint

Dive into the research topics of 'Range Encoding-Based Network Verification in SDN'. Together they form a unique fingerprint.

Cite this