中文
相关论文

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

200 篇论文

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…

机器学习 · 计算机科学 2024-09-02 Osama Mustafa , Khizer Ali , Talha Naqash

SDN promises to make networks more flexible, programmable, and easier to manage. Inherent security problems in SDN today, however, pose a threat to the promised benefits. First, the network operator lacks tools to proactively ensure that…

网络与互联网体系结构 · 计算机科学 2016-05-17 Takayuki Sasaki , Christos Pappas , Taeho Lee , Torsten Hoefler , Adrian Perrig

Redistribution of the intelligence and management in the software defined networks (SDNs) is a potential approach to address the bottlenecks of scalability and integrity of these networks. We propose to revisit the routing concept based on…

网络与互联网体系结构 · 计算机科学 2015-04-30 Reza Farrahi Moghaddam , Yves Lemieux , Mohamed Cheriet

An important challenge for smart grid security is designing a secure and robust smart grid communications architecture to protect against cyber-threats, such as Denial-of-Service (DoS) attacks, that can adversely impact the operation of the…

系统与控制 · 电气工程与系统科学 2024-10-28 Dennis Agnew , Sharon Boamah , Reynold Mathieu , Austin Cooper , Janise McNair , Arturo Bretas

Software-defined networking (SDN) eases network management by centralizing the control plane and separating it from the data plane. The separation of planes in SDN, however, introduces new vulnerabilities in SDN networks since the…

密码学与安全 · 计算机科学 2015-12-22 Heng Cui , Ghassan O. Karame , Felix Klaedtke , Roberto Bifulco

Software-Defined Networking (SDN) is an emerging paradigm, which evolved in recent years to address the weaknesses in traditional networks. The significant feature of the SDN, which is achieved by disassociating the control plane from the…

密码学与安全 · 计算机科学 2020-06-26 Mahmoud Said Elsayed , Nhien-An Le-Khac , Soumyabrata Dev , Anca Delia Jurcut

Distributed Denial of Service (DDoS) is one of the most prevalent attacks that an organizational network infrastructure comes across nowadays. We propose a deep learning based multi-vector DDoS detection system in a software-defined network…

网络与互联网体系结构 · 计算机科学 2018-01-03 Quamar Niyaz , Weiqing Sun , Ahmad Y Javaid

Scalability of the control plane in a software-defined network (SDN) is enabled by means of decentralization of the decision-making logic, i.e., by replication of controller functions to physically or virtually dislocated controller…

网络与互联网体系结构 · 计算机科学 2019-02-08 Ermin Sakic , Wolfgang Kellerer

In software-defined networks (SDN), a controller program is in charge of deploying diverse network functionality across a large number of switches, but this comes at a great risk: deploying buggy controller code could result in network and…

网络与互联网体系结构 · 计算机科学 2020-07-21 Vasileios Klimis , George Parisis , Bernhard Reus

Recent years witnessed a surge in network traffic due to the emergence of new online services, causing periodic saturation and complexity problems. Additionally, the growing number of IoT devices further compounds the problem. Software…

网络与互联网体系结构 · 计算机科学 2024-01-18 Jaime Tamayo , Lorena Isabel Barona López , Ángel Leonardo Valdivieso Caraguay

The work described in this paper explores the use of time and synchronized clocks in centrally-managed and Software Defined Networks (SDNs). One of the main goals of this work is to analyze use cases in which explicit use of time is…

网络与互联网体系结构 · 计算机科学 2019-04-16 Tal Mizrahi , Yoram Moses

This paper deals with congestion control in a software defined network (SDN) setting. Presently, explicit router schemes, such as Explicit Congestion Notification (ECN), work in conjunction with the TCP protocol to handle congestion in a…

网络与互联网体系结构 · 计算机科学 2023-10-27 Mohana Prasad Sathya Moorthy , Manoj Kumar Sure , Krishna M. Sivalingam

The recent extensive availability of "big data" platforms calls for a more widespread adoption by the formal verification community. In fact, formal verification requires high performance data processing software for extracting knowledge…

软件工程 · 计算机科学 2015-02-16 Carlo Bellettini , Matteo Camilli , Lorenzo Capra , Mattia Monga

Modern tactical operations have complex communication and computing requirements, often involving different coalition teams, that cannot be supported by today's mobile ad hoc networks. To this end, the emerging Software Defined Networking…

网络与互联网体系结构 · 计算机科学 2018-01-10 Konstantinos Poularakis , George Iosifidis , Leandros Tassiulas

Software-defined networking (SDN) has been widely utilized to enforce the security of traditional networks, thereby promoting the process of transforming traditional networks into SDN networks. However, SDN-based security enforcement…

密码学与安全 · 计算机科学 2023-01-11 Yunfei Meng , Changbo Ke , Zhiqiu Huang , Guohua Shen , Chunming Liu , Xiaojie Feng

Software Defined Networking has afforded numerous benefits to the network users but there are certain persisting issues with this technology, two of which are scalability and privacy. The natural solution to overcoming these limitations is…

网络与互联网体系结构 · 计算机科学 2023-11-10 Akrit Mudvari , Leandros Tassiulas

Software defined networking (SDN) represents a transformative shift in network architecture by decoupling the control plane from the data plane, enabling centralized and flexible management of network resources. However, this architectural…

密码学与安全 · 计算机科学 2024-12-10 Mohammed N. Swileh , Shengli Zhang

Network virtualization and softwarizing network functions are trends aiming at higher network efficiency, cost reduction and agility. They are driven by the evolution in Software Defined Networking (SDN) and Network Function Virtualization…

网络与互联网体系结构 · 计算机科学 2018-08-29 Steven Van Rossem , Wouter Tavernier , Didier Colle , Mario Pickavet , Piet Demeester

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…

密码学与安全 · 计算机科学 2024-11-12 Muhammad Zawad Mahmud , Shahran Rahman Alve , Samiha Islam , Mohammad Monirujjaman Khan

Software-defined networking (SDN) is the concept of decoupling the control and data planes to create a flexible and agile network, assisted by a central controller. However, the performance of SDN highly depends on the limitations in the…

网络与互联网体系结构 · 计算机科学 2017-01-06 Chen-Feng Liu , Sumudu Samarakoon , Mehdi Bennis