@inproceedings{80f01310525b47a09685082a7475d137,
title = "Range Encoding-Based Network Verification in SDN",
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.",
keywords = "Network Verification, Range Encoding, Software-defined Networks, Ternary Content Addressable Memory",
author = "Tseng, {Yen Lun} and Chang, {Guey Yun} and Shih, {Chun Chung} and Liu, {Yue Xin} and Wu, {Tien Hsiang}",
note = "Publisher Copyright: {\textcopyright} 2016 IEEE.; null ; Conference date: 08-08-2016 Through 10-08-2016",
year = "2016",
month = oct,
day = "11",
doi = "10.1109/DASC-PICom-DataCom-CyberSciTec.2016.82",
language = "???core.languages.en_GB???",
series = "Proceedings - 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",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
pages = "400--405",
editor = "Wang, {Kevin I-Kai} and Qun Jin and Bhuiyan, {Md Zakirul Alam} and Qingchen Zhang and Ching-Hsien Hsu",
booktitle = "Proceedings - 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",
}