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 contribution

1 Citation (Scopus)

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
Publication statusPublished - Sep 24 2015
Externally publishedYes
Event17th Asia-Pacific Network Operations and Management Symposium, APNOMS 2015 - Busan, Korea, Republic of
Duration: Aug 19 2015Aug 21 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
Country/TerritoryKorea, Republic of
CityBusan
Period8/19/158/21/15

Keywords

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

ASJC Scopus subject areas

  • Information Systems and Management
  • Management Science and Operations Research
  • Computer Networks and Communications

Fingerprint

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

Cite this