Towards consistent software defined networking with logic programming

Eric Lui, Yu-Sung Wu, Patrick Ngai, Tung Yueh Lin, Hong Wei Li, Shih Yi Huang

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

Abstract

Software Defined Networking (SDN) allows the construction of virtual networks on top of a datacenter network infrastructure. However, the flexibility also increases the chance of inconsistencies in the network configurations caused by component failures, software bugs, or human errors. The inconsistencies may result in service outage or security policy violation. We propose a model-based verification system to check the consistency of a virtual network. The system models the requirements as logic constraints and extracts the configuration states of a virtual network. The configuration states are checked against the logic constraints by using a SMT solver[1]. The prototype system successfully detects various inconsistencies injected to the testbed and incurs reasonable amount of overheads.

Original languageEnglish
Title of host publication17th Asia-Pacific Network Operations and Management Symposium
Subtitle of host publicationManaging a Very Connected World, APNOMS 2015
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages109-114
Number of pages6
ISBN (Electronic)9784885522963
DOIs
StatePublished - 24 Sep 2015
Event17th Asia-Pacific Network Operations and Management Symposium, APNOMS 2015 - Busan, Korea, Republic of
Duration: 19 Aug 201521 Aug 2015

Publication series

Name17th Asia-Pacific Network Operations and Management Symposium: Managing a Very Connected World, APNOMS 2015

Conference

Conference17th Asia-Pacific Network Operations and Management Symposium, APNOMS 2015
CountryKorea, Republic of
CityBusan
Period19/08/1521/08/15

Keywords

  • consistency
  • datacenter
  • OpenFlow
  • software defined network
  • verification

Fingerprint Dive into the research topics of 'Towards consistent software defined networking with logic programming'. Together they form a unique fingerprint.

Cite this