English
Related papers

Related papers: Actor-Based Model Checking for SDN Networks

200 papers

A monitor and control framework for quantum-key-distribution (QKD) networks equipped with switching capabilities was developed. On the one hand, this framework provides real-time visibility into operational metrics. Specifically, it…

The popularity of Software Defined Networks (SDNs) has grown in recent years, mainly because of their ability to simplify network management and improve network flexibility. However, this also makes them vulnerable to various types of cyber…

Machine Learning · Computer Science 2024-09-02 Osama Mustafa , Khizer Ali , Talha Naqash

Software-Defined Networking (SDN) controllers are considered as Network Operating Systems (NOSs) and often viewed as a single point of failure. Detecting which SDN controller is managing a target network is a big step for an attacker to…

Networking and Internet Architecture · Computer Science 2017-05-03 Abdelhadi Azzouni , Othmen Braham , Nguyen Thi Mai Trang , Guy Pujolle , Raouf Boutaba

With more and more existing networks being transformed to Software-Defined Networking (SDN), they need to be more secure and demand smarter ways of traffic control. This work, SmartSecChain-SDN, is a platform that combines machine learning…

Cryptography and Security · Computer Science 2025-11-18 Azhar Hussain Mozumder , M. John Basha , Chayapathi A. R

Software Defined Networking (SDN) has emerged as a revolutionary paradigm to manage cloud infrastructure. SDN lacks scalable trust setup and verification mechanism between Data Plane-Control Plane elements, Control Plane elements, and…

Cryptography and Security · Computer Science 2019-03-18 Ankur Chowdhary , Adel Alshamrani , Dijiang Huang , Myong Kang , Anya Kim , Alexander Velazquez

Conventionally, network migration models study competition between emerging and incumbent technologies by considering the resulting increase in revenue and associated cost of migration. We propose to advance the science in the existing…

Networking and Internet Architecture · Computer Science 2014-01-10 Tamal Das , Marek Drogon , Admela Jukan , Marco Hoffmann

Software-defined networking (SDN) represents a revolutionary shift in network technology by decoupling the data plane from the control plane.}In this architecture, all network decision-making processes are centralized in a controller,…

Networking and Internet Architecture · Computer Science 2025-05-27 Ahmadreza Montazerolghaem , Somaye Imanpour

Session Initiation Protocol (SIP) grows for VoIP applications, and faces challenges including security and overload. On the other hand, the new concept of Software-defined Networking (SDN) has made great changes in the networked world. SDN…

Networking and Internet Architecture · Computer Science 2019-08-13 Ahmadreza Montazerolghaem

Software-Defined Networking (SDN) is a novel architectural model for cloud network infrastructure, improving resource utilization, scalability and administration. SDN deployments increasingly rely on virtual switches executing on commodity…

Networking and Internet Architecture · Computer Science 2017-02-15 Nicolae Paladi , Christian Gehrmann

Software defined Networks (SDNs) have drawn much attention both from academia and industry over the last few years. Despite the fact that underlying ideas already exist through areas such as P2P applications and active networks (e.g.…

Networking and Internet Architecture · Computer Science 2016-03-29 Daniel M Batista , Gordon Blair , Fabio Kon , Raouf Boutaba , David Hutchison , Raj Jain , Ramachandran Ramjee , Christian E Rothenberg

Many of the video streaming applications in today's Internet involve the distribution of content from a CDN source to a large population of interested clients. However, widespread support of IP multicast is unavailable due to technical and…

Networking and Internet Architecture · Computer Science 2015-08-17 Kyoomars Alizadeh Noghani , M. Oguz Sunay

With the advent of Software Defined Networks (SDNs), there has been a rapid advancement in the area of cloud computing. It is now scalable, cheaper, and easier to manage. However, SDNs are more prone to security vulnerabilities as compared…

Cryptography and Security · Computer Science 2019-10-03 Mahmoud Said Elsayed , Nhien-An Le-Khac , Soumyabrata Dev , Anca Delia Jurcut

Ethernet has become the next standard for automotive and industrial automation networks. Standard extensions such as IEEE 802.1Q Time-Sensitive Networking (TSN) have been proven to meet the real-time and robustness requirements of these…

Networking and Internet Architecture · Computer Science 2019-08-27 Timo Häckel , Philipp Meyer , Franz Korf , Thomas C. Schmidt

In software-defined networking (SDN), as data plane scale expands, scalability and reliability of the control plane have become major concerns. To mitigate such concerns, two kinds of solutions have been proposed separately. One is multi-…

Networking and Internet Architecture · Computer Science 2017-09-07 Xi Huang , Simeng Bian , Ziyu Shao , Hong Xu

Software-defined networking (SDN) promises to improve the programmability and flexibility of networks, but it may bring also new challenges that need to be explored. One open issue is the quantitative assessment of the properties of SDN…

Networking and Internet Architecture · Computer Science 2017-03-20 Gianfranco Nencioni , Bjarne E. Helvik , Poul E. Heegaard

Although neural networks are widely used, it remains challenging to formally verify the safety and robustness of neural networks in real-world applications. Existing methods are designed to verify the network before deployment, which are…

Machine Learning · Computer Science 2023-02-06 Tianhao Wei , Changliu Liu

Software-defined networking (SDN) programs must simultaneously describe static forwarding behavior and dynamic updates in response to events. Event-driven updates are critical to get right, but difficult to implement correctly due to the…

Programming Languages · Computer Science 2016-04-19 Jedidiah McClurg , Hossein Hojjat , Nate Foster , Pavol Cerny

There is a wide range of topologies to use in simulation that can make research divergency; therefore, we propose a topology set that can be used in research of network behaviour in Software Defined Network (SDN). This paper can unite the…

Networking and Internet Architecture · Computer Science 2021-07-08 Alireza Shirmarz

Despite its great importance, modern network infrastructure is remarkable for the lack of rigor in its engineering. The Internet which began as a research experiment was never designed to handle the users and applications it hosts today.…

Networking and Internet Architecture · Computer Science 2015-09-18 Junaid Qadir , Osman Hasan

Software-defined network (SDN) is a new approach that allows network control to become directly programmable, and the underlying infrastructure can be abstracted from applications and network services. Control plane). When it comes to…

Cryptography and Security · Computer Science 2024-11-12 Muhammad Zawad Mahmud , Shahran Rahman Alve , Samiha Islam , Mohammad Monirujjaman Khan