English
Related papers

Related papers: Formal Modelling and Verification of Software Defi…

200 papers

We present a model checking approach for the verification of data flow correctness in networks during concurrent updates of the network configuration. This verification problem is of great importance for software-defined networking (SDN),…

Logic in Computer Science · Computer Science 2019-11-15 Bernd Finkbeiner , Manuel Gieseking , Jesko Hecking-Harbusch , Ernst-Rüdiger Olderog

As networks expand in size and complexity, they pose greater administrative and management challenges. Software Defined Networks (SDN) offer a promising approach to meeting some of these challenges. In this paper, we propose a policy driven…

Cryptography and Security · Computer Science 2018-06-07 Vijay Varadharajan , Kallol Karmakar , Uday Tupakula , Michael Hitchens

The software defined networking paradigm relies on the programmability of the network to automatically perform management and reconfiguration tasks. The result of adopting this programmability feature is twofold: first by designing new…

Networking and Internet Architecture · Computer Science 2019-06-25 Tiago V. Ortiz , Bruno Kimura , Jó Ueyama , Valério Rosset

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. The purpose of this technical report is to assess how the deployment of…

Networking and Internet Architecture · Computer Science 2017-07-07 Gianfranco Nencioni , Bjarne E. Helvik , Andres J. Gonzalez , Poul E. Heegaard , Andrzej Kamisinski

A social network service is a platform to build social relations among people sharing similar interests and activities. The underlying structure of a social networks service is the social graph, where nodes represent users and the arcs…

Logic in Computer Science · Computer Science 2017-09-08 Raúl Pardo , Gerardo Schneider

Future in-vehicular networks will be based on Ethernet. The IEEE Time-Sensitive Networking (TSN) is a promising candidate to satisfy real-time requirements in future car communication. Software-Defined Networking (SDN) extends the Ethernet…

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

Software Defined Networking (SDN) paradigm has the benefits of programmable network elements by separating the control and the forwarding planes, efficiency through optimized routing and flexibility in network management. As the energy…

Networking and Internet Architecture · Computer Science 2019-07-31 Beakal Gizachew Assefa , Öznur Özkasap

Software Defined Networking (SDN) promises greater flexibility for directing packet flows, and Network Function Virtualization promises to enable dynamic management of software-based network functions. However, the current divide between an…

Networking and Internet Architecture · Computer Science 2016-06-09 Wei Zhang , Guyue Liu , Timothy Wood , K. K. Ramakrishnan , Jinho Hwang

The short-term adoption of opportunistic networks (OppNet) depends on improving the current performance of this type of network. Software-Defined Networks (SDN) architecture is used by Internet applications with high resource demand. SDN…

Networking and Internet Architecture · Computer Science 2020-01-16 Mari Carmen de Toro , Carlos Borrego

Software-Defined Networking (SDN) is another technology that has been developing in the last few years as a relevant technique to improve network programmability and administration. Nonetheless, its centralized design presents a major…

Cryptography and Security · Computer Science 2026-04-24 Ashikuzzaman , Md. Saifuzzaman Abhi , Mahabubur Rahman , Md. Manjur Ahmed , Md. Mehedi Hasan , Md. Ahsan Arif

Information and Communication Technology (ICT) infrastructures play a key role in the evolution from traditional power systems to Smart Grids. Increasingly fluctuating power flows, sparked by the transition towards sustainable energy…

Networking and Internet Architecture · Computer Science 2018-10-19 Nils Dorsch , Fabian Kurtz , Christian Wietfeld

We propose a novel framework that reduces the management and integration overheads for real-time network flows by leveraging the capabilities (especially global visibility and management) of software-defined networking (SDN) architectures.…

Networking and Internet Architecture · Computer Science 2017-05-04 Rakesh Kumar , Monowar Hasan , Smruti Padhy , Konstantin Evchenko , Lavanya Piramanayagam , Sibin Mohan , Rakesh B. Bobba

As the Software Defined Networking (SDN) paradigm gains momentum, every network operator faces the obvious dilemma: when and how to migrate from existing IP routers to SDN compliant equipments. A single step complete overhaul of a fully…

Networking and Internet Architecture · Computer Science 2013-10-02 Tamal Das , Marcel Caria , Admela Jukan , Marco Hoffmann

The advancement in cloud networks has enabled connectivity of both traditional networked elements and new devices from all walks of life, thereby forming the Internet of Things (IoT). In an IoT setting, improving and scaling network…

Cryptography and Security · Computer Science 2020-02-04 Safi Faizullah , Muhammad Asad Khan , Ali Alzahrani , Imdadullah Khan

Software-Defined Networking (SDN) has raised the boundaries of cloud computing by offering unparalleled levels of control and flexibility to system administrators over their virtualized environments. To properly embrace this new era of…

Networking and Internet Architecture · Computer Science 2013-08-02 Kaiwen Zhang , Hans-Arno Jacobsen

Cloud computing has been emerged in the last decade to enable utility-based computing resource management without purchasing hardware equipment. Cloud providers run multiple data centers in various locations to manage and provision the…

Distributed, Parallel, and Cluster Computing · Computer Science 2018-05-29 Rajkumar Buyya , Jungmin Son

Real-time networks based on Ethernet require robust quality-of-service for time-critical traffic. The Time-Sensitive Networking (TSN) collection of standards enables this in real-time environments like vehicle on-board networks. Runtime…

Networking and Internet Architecture · Computer Science 2021-10-11 Tobias Haugg , Mohammad Fazel Soltani , Timo Häckel , Philipp Meyer , Franz Korf , Thomas C. Schmidt

Network Functions Virtualization (NFV) and Software-Defined Networking (SDN) are new paradigms in the move towards open software and network hardware. While NFV aims to virtualize network functions and deploy them into general purpose…

Networking and Internet Architecture · Computer Science 2018-01-08 Michel S. Bonfim , Kelvin L. Dias , Stenio F. L. Fernandes

Multi-tenant cloud networks have various security and monitoring service functions (SFs) that constitute a service function chain (SFC) between two endpoints. SF rule ordering overlaps and policy conflicts can cause increased latency,…

Cryptography and Security · Computer Science 2018-11-05 Ankur Chowdhary , Adel Alshamrani , Dijiang Huang

Software-defined networking (SDN) attracts the attention of the research community in recent years, as evidenced by a large number of survey and review papers. The architecture of SDN clearly recognizes three planes: application, control,…

Networking and Internet Architecture · Computer Science 2019-04-09 Enio Kaljic , Almir Maric , Pamela Njemcevic , Mesud Hadzialic