SAIDE: Efficient application interference detection and elimination in SDN

T Hu, P Yi, Y Hu, J Lan, Z Zhang, Z Li - Computer Networks, 2020 - Elsevier
The ease of programmability in Software-Defined Networking has greatly facilitated SDN
application development and deployment. Applications run simultaneously in the controller …

MSAID: Automated detection of interference in multiple SDN applications

Y Li, Z Wang, J Yao, X Yin, X Shi, J Wu, H Zhang - Computer Networks, 2019 - Elsevier
Software-defined networking (SDN) enables control programs from diverse parties to
generate network policies independently. However, multiple SDN applications can cause …

Msaid: automated interference detection for multiple SDN applications

Y Li, Z Wang, J Yao, X Yin, X Shi… - 2017 IEEE 25th …, 2017 - ieeexplore.ieee.org
Multiple SDN applications can make several harmful interferences unintentionally, although
each individual application may be properly developed. This paper proposes a Multiple …

A framework for policy inconsistency detection in software-defined networks

S Lee, S Woo, J Kim, J Nam… - IEEE/ACM …, 2022 - ieeexplore.ieee.org
Software-Defined Networking (SDN) has aggressively grown in data center networks,
telecommunication providers, and enterprises by virtue of its programmable and extensible …

Automated permission model generation for securing SDN control-plane

H Kang, V Yegneswaran, S Ghosh… - IEEE transactions on …, 2019 - ieeexplore.ieee.org
An important consideration in software-defined networks (SDNs), is that one SDN
application, through a bug or API misuse, can break an entire SDN. While previous works …

Research on network programming language and policy conflicts for SDN

B He, L Dong, T Xu, S Fei, H Zhang… - Concurrency and …, 2017 - Wiley Online Library
Through network programmability, software defined network can simplify network control
and management. Since the current software defined network southbound interface level is …

Formal verification of SDN-based firewalls by using TLA+

YM Kim, M Kang - IEEE Access, 2020 - ieeexplore.ieee.org
Software-defined networking (SDN) has generated increased interest due to the rapid
growth in the amount of data generated by the development of the Internet and …

Aegis: An automated permission generation and verification system for sdns

H Kang, S Shin, V Yegneswaran, S Ghosh… - Proceedings of the 2018 …, 2018 - dl.acm.org
An important consideration in Software-defined Networks (SDNs), is that one SDN
application, through a bug or API misuse, can break an entire SDN. While previous works …

An assertion language for debugging SDN applications

R Beckett, XK Zou, S Zhang, S Malik, J Rexford… - Proceedings of the third …, 2014 - dl.acm.org
Software Defined Networking (SDN) provides opportunities for network verification and
debugging by offering centralized visibility of the data plane. This has enabled both offline …

Generic validation criteria and methodologies for SDN applications

YD Lin, YK Lai, YL Tsou, YC Lai, EC Liou… - IEEE Systems …, 2019 - ieeexplore.ieee.org
Programmable control plane in software-defined networking (SDN), plays an essential role
in the SDN architecture. The network function provided by the specialized hardware in a …