English
Related papers

Related papers: Formal Modelling and Verification of Software Defi…

200 papers

Software-defined network (SDN) is characterized by its programmability, flexibility, and the separation of control and data planes. However, SDN still have many challenges, particularly concerning the security of network information…

Networking and Internet Architecture · Computer Science 2023-08-10 Yanbo Song , Tao Feng , Chungang Yang , Xinru Mi , Shanqing Jiang , Mohsen Guizani

Using SDN to configure and control a multi-site network involves writing code that handles low-level details. We describe preliminary work on a framework that takes a network description and set of policies as input, and handles all the…

Networking and Internet Architecture · Computer Science 2018-03-22 Douglas Comer , Adib Rastegarnia

Software Defined Networking (SDN) is an emerging network control paradigm focused on logical centralization and programmability. At the same time, distributed routing protocols, most notably OSPF and IS-IS, are still prevalent in IP…

Networking and Internet Architecture · Computer Science 2016-04-19 Marcel Caria , Tamal Das , Admela Jukan , Marco Hoffmann

With the wide deployment of network facilities and the increasing requirement of network reliability, the disruptive event like natural disaster, power outage or malicious attack has become a non-negligible threat to the current…

Networking and Internet Architecture · Computer Science 2016-02-24 An Xie , Xiaoliang Wang , Guido Maier , Sanglu Lu

The Internet of Things (IoT) connected by Software Defined Networking (SDN) promises to bring great benefits to cyber-physical systems. However, the increased attack surface offered by the growing number of connected vulnerable devices and…

Networking and Internet Architecture · Computer Science 2020-06-26 Jiejun Hu , Martin Reed , Mays Al-Naday , Nikolaos Thomos

Recently, AI research has primarily focused on large language models (LLMs), and increasing accuracy often involves scaling up and consuming more power. The power consumption of AI has become a significant societal issue; in this context,…

Artificial Intelligence · Computer Science 2024-08-21 Baekryun Seong , Jieung Kim , Sang-Ki Ko

Time-Sensitive Networking (TSN) is a set of standards that provide low-latency, high-reliability guarantees for the transmission of traffic in networks, and it is becoming an accepted solution for complex time-critical systems such as those…

Networking and Internet Architecture · Computer Science 2024-12-31 Zitong Wang , Feng Luo , Yunpeng Li , Haotian Gan , Lei Zhu

Network configuration verification enables operators to ensure that the network will behave as intended, prior to deployment of their configurations. Although techniques ranging from graph algorithms to SMT solvers have been proposed,…

Networking and Internet Architecture · Computer Science 2019-11-07 Santhosh Prabhu , Kuan-Yen Chou , Ali Kheradmand , P. Brighten Godfrey , Matthew Caesar

Mobile core networks handle critical control functions for delivering services in modern cellular networks. Traditional point-to-point architectures, where network functions are directly connected through standardized interfaces, are being…

Networking and Internet Architecture · Computer Science 2024-03-29 Pablo Fondo-Ferreiro , Felipe Gil-Castiñeira , Francisco Javier González-Castaño , David Candal-Ventureira

In this work, we propose online traffic engineering as a novel approach to detect and mitigate an emerging class of stealthy Denial of Service (DoS) link-flooding attacks. Our approach exploits the Software Defined Networking (SDN)…

Networking and Internet Architecture · Computer Science 2014-12-08 Dimitrios Gkounis , Vasileios Kotronis , Xenofontas Dimitropoulos

Software-defined systems revolutionized the management of hardware devices but introduced quality assurance challenges that remain to be tackled. For example, software defined networks (SDNs) became a key technology for the prompt…

Software Engineering · Computer Science 2024-11-15 Jahanzaib Malik , Fabrizio Pastore

Mobile Ad Hoc Networks (MANETs) and Internet of Things (IoT) networks operate in decentralized and dynamic environments, making them ideal for scenarios lacking traditional infrastructure. However, these networks face challenges such as…

Networking and Internet Architecture · Computer Science 2026-01-16 Andrea Piroddi , Riccardo Fonti

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

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

Software-defined Networking is an approach that decouples the software-based control plane from the hardware-based data plane proposed for enterprise networks; OpenFlow is the most famous flexible protocol that can manage network traffic…

Networking and Internet Architecture · Computer Science 2023-06-07 Aladdin Abdulhassan , Mahmood Ahmadi

Software-defined networking (SDN) allows operators to control the behavior of a network by programatically managing the forwarding rules installed on switches. However, as is common in distributed systems, it can be difficult to ensure that…

Networking and Internet Architecture · Computer Science 2016-07-19 Pavol Cerny , Nate Foster , Nilesh Jagnik , Jedidiah McClurg

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

Being a state-of-the-art network, Software Defined Networking (SDN) decouples control and management planes from data plane of the forwarding devices by implementing both the control and management planes at logically centralized entity,…

Networking and Internet Architecture · Computer Science 2021-11-23 Syed Mohsan Raza

Software Defined Networking (SDN) achieves programmability of a network through separation of the control and data planes. It enables flexibility in network management and control. Energy efficiency is one of the challenging global problems…

Networking and Internet Architecture · Computer Science 2021-08-06 Beakal Gizachew Assefa , Oznur Ozkasap

While the centralization of SDN brought advantages such as a faster pace of innovation, it also disrupted some of the natural defenses of traditional architectures against different threats. The literature on SDN has mostly been concerned…

Networking and Internet Architecture · Computer Science 2019-01-01 Diego Kreutz , Jiangshan Yu , Fernando M. V. Ramos , Paulo Esteves-Verissimo