Towards consistent software defined networking with logic programming

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

研究成果: 書貢獻/報告類型會議貢獻

1 引文 斯高帕斯(Scopus)

摘要

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.

原文英語
主出版物標題17th Asia-Pacific Network Operations and Management Symposium
主出版物子標題Managing a Very Connected World, APNOMS 2015
發行者Institute of Electrical and Electronics Engineers Inc.
頁面109-114
頁數6
ISBN(電子)9784885522963
DOIs
出版狀態已發佈 - 9月 24 2015
對外發佈
事件17th Asia-Pacific Network Operations and Management Symposium, APNOMS 2015 - Busan, 大韓民國
持續時間: 8月 19 20158月 21 2015

出版系列

名字17th Asia-Pacific Network Operations and Management Symposium: Managing a Very Connected World, APNOMS 2015

會議

會議17th Asia-Pacific Network Operations and Management Symposium, APNOMS 2015
國家/地區大韓民國
城市Busan
期間8/19/158/21/15

ASJC Scopus subject areas

  • 資訊系統與管理
  • 管理科學與經營研究
  • 電腦網路與通信

指紋

深入研究「Towards consistent software defined networking with logic programming」主題。共同形成了獨特的指紋。

引用此