中文
相关论文

相关论文: Formal Modelling and Verification of Software Defi…

200 篇论文

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…

网络与互联网体系结构 · 计算机科学 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…

网络与互联网体系结构 · 计算机科学 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…

网络与互联网体系结构 · 计算机科学 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…

网络与互联网体系结构 · 计算机科学 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…

网络与互联网体系结构 · 计算机科学 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,…

人工智能 · 计算机科学 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…

网络与互联网体系结构 · 计算机科学 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,…

网络与互联网体系结构 · 计算机科学 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…

网络与互联网体系结构 · 计算机科学 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)…

网络与互联网体系结构 · 计算机科学 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…

软件工程 · 计算机科学 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…

网络与互联网体系结构 · 计算机科学 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…

网络与互联网体系结构 · 计算机科学 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…

网络与互联网体系结构 · 计算机科学 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…

网络与互联网体系结构 · 计算机科学 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…

网络与互联网体系结构 · 计算机科学 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,…

网络与互联网体系结构 · 计算机科学 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,…

网络与互联网体系结构 · 计算机科学 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…

网络与互联网体系结构 · 计算机科学 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…

网络与互联网体系结构 · 计算机科学 2019-01-01 Diego Kreutz , Jiangshan Yu , Fernando M. V. Ramos , Paulo Esteves-Verissimo