Automated and Optimized Formal Approach to Verify SDN Access-Control Misconfigurations

Saâdaoui, Amina; Souayeh, Nihel Ben Youssef Ben; Bouhoula, Adel

doi:10.1007/978-3-030-12971-2_6

Cited by 1 publication

(1 citation statement)

References 11 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Saâdaoui et al have proposed an automated and improved formal verification to evaluate the SDN access–control misconfigurations that contain a set of suggested systems to automatically analyze and detect OpenFlow switches. The authors provided an offline tool intended for discovering these misconfigurations by using a formal method and a data structure; this tool can be used periodically updates on flow tables through the manager.…”

Section: Formal Verification Methods In the Sdnmentioning

confidence: 99%

A systematic literature review on formal verification of software‐defined networks

Souri

Norouzi

Asghari

et al. 2019

Trans Emerging Tel Tech

View full text Add to dashboard Cite

By raising evolutionary network connections, a software‐defined network (SDN) offers a well‐managed and flexible novel network topology. The SDN efforts are provided to abstract the original network configuration for business applications and web services. Additionally, the SDN modifies the network management policies such as topology policies, deployment policies, the applicability, and infrastructure maintenance. One of the important features of the SDN is standardizing the network interfaces with the precise functional semantics in application and control flow layers. In another hand, specification and evaluation of the existing network interfaces is a main and significant challenge to prove the correctness of the configurable scenarios in the SDN approach. Recently, formal verification presents a high potential platform to evaluate the main‐layer scenarios of the SDN as the novel perspective in this area. Up to now, there is no survey and state‐of‐the‐art review on the formal verification methods in the SDN. This paper provides a systematic literature review (SLR) for the formal verification methods in the SDN in form of the SDN plans to recognize the state of the art of the open challenges. The presented SLR is classified into three main fields: application plan, data plan, and control plan approaches. The verification mechanisms are compared with each other according to the important factors such as structural properties, quality‐of‐service metrics, applied algorithms, and measurement tools.

show abstract

Section: Formal Verification Methods In the Sdnmentioning

confidence: 99%