@inproceedings{cdb21acc430140278ef35a75c7868e7b,
title = "Towards consistent software defined networking with logic programming",
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.",
keywords = "consistency, datacenter, OpenFlow, software defined network, verification",
author = "Eric Lui and Wu, {Yu Sung} and Patrick Ngai and Lin, {Tung Yueh} and Li, {Hong Wei} and Huang, {Shih Yi}",
note = "Publisher Copyright: {\textcopyright} 2015 IEICE.; 17th Asia-Pacific Network Operations and Management Symposium, APNOMS 2015 ; Conference date: 19-08-2015 Through 21-08-2015",
year = "2015",
month = sep,
day = "24",
doi = "10.1109/APNOMS.2015.7275411",
language = "English",
series = "17th Asia-Pacific Network Operations and Management Symposium: Managing a Very Connected World, APNOMS 2015",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
pages = "109--114",
booktitle = "17th Asia-Pacific Network Operations and Management Symposium",
address = "United States",
}