A systematic literature review on formal verification of software‐defined networks
作者: Alireza SouriMonire NorouziParvaneh AsghariAmir Masoud RahmaniGhazaleh Emadi
作者单位: 1Young Researchers and Elite Club Islamshahr Branch, Islamic Azad University Islamshahr Iran
2 Department of Computer Engineering, Science and Research Branch Islamic Azad University Tehran Iran
刊名: Transactions on Emerging Telecommunications Technologies, 2020, Vol.31 (2), pp.n/a-n/a
来源数据库: Wiley Journal
DOI: 10.1002/ett.3788
原始语种摘要: Abstract(#br)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,...
全文获取路径: Wiley  (合作)