中文
相关论文

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

200 篇论文

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),…

计算机科学中的逻辑 · 计算机科学 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…

密码学与安全 · 计算机科学 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…

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

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

计算机科学中的逻辑 · 计算机科学 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…

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

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

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

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

密码学与安全 · 计算机科学 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…

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

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

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

密码学与安全 · 计算机科学 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…

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

分布式、并行与集群计算 · 计算机科学 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…

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

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

密码学与安全 · 计算机科学 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,…

网络与互联网体系结构 · 计算机科学 2019-04-09 Enio Kaljic , Almir Maric , Pamela Njemcevic , Mesud Hadzialic