Programming network via Distributed Control in Software-Defined Networks

2014 ◽  
Author(s):  
Boyang Zhou ◽  
Chunming Wu ◽  
Xiaoyan Hong ◽  
Ming Jiang
Keyword(s):  
Distributed Control ◽  
Software Defined Networks

scholarly journals Applying Formal Modelling to the Specification and Testing of SDN Network Functionality

2021 ◽  
Author(s):  
◽  
Matthew Stevens
Keyword(s):  
Distributed Control ◽  
Capital Investment ◽  
Operating Costs ◽  
Software Defined Networks ◽  
New Paradigm ◽  
Formal Modelling ◽  
Network Functionality

<p>Software Defined Networks offers a new paradigm to manage networks, one that favors centralised control over the distributed control used in legacy networks. This brings network operators potential efficiencies in capital investment, operating costs and wider choice in network appliance providers. We explore in this research whether these efficiencies apply to all network functionality by applying formal modelling to create a mathematically rigourous model of a service, a firewall, and using that model to derive tests that are ultimately applied to two SDN firewalls and a legacy stateful firewall. In the process we discover the only publicly available examples of SDN firewalls are not equivalent to legacy stateful firewalls and in fact create a security flaw that may be exploited by an attacker.</p>

scholarly journals Applying Formal Modelling to the Specification and Testing of SDN Network Functionality

2021 ◽  
Author(s):  
◽  
Matthew Stevens
Keyword(s):  
Distributed Control ◽  
Capital Investment ◽  
Operating Costs ◽  
Software Defined Networks ◽  
New Paradigm ◽  
Formal Modelling ◽  
Network Functionality

<p>Software Defined Networks offers a new paradigm to manage networks, one that favors centralised control over the distributed control used in legacy networks. This brings network operators potential efficiencies in capital investment, operating costs and wider choice in network appliance providers. We explore in this research whether these efficiencies apply to all network functionality by applying formal modelling to create a mathematically rigourous model of a service, a firewall, and using that model to derive tests that are ultimately applied to two SDN firewalls and a legacy stateful firewall. In the process we discover the only publicly available examples of SDN firewalls are not equivalent to legacy stateful firewalls and in fact create a security flaw that may be exploited by an attacker.</p>

A Hierarchical Distributed Control Plane for Path Computation Scalability in Large Scale Software-Defined Networks

2019 ◽  
Vol 16 (3) ◽  
pp. 1019-1031 ◽  
Author(s):  
Mohammed Amine Togou ◽  
Djabir Abdeldjalil Chekired ◽  
Lyes Khoukhi ◽  
Gabriel-Miro Muntean
Keyword(s):  
Distributed Control ◽  
Large Scale ◽  
Software Defined Networks ◽  
Control Plane ◽  
Path Computation

scholarly journals Fault-Tolerance Distributed Control Plane for Software Defined Networks

2019 ◽  
Vol 26 (1) ◽  
pp. 101-121
Author(s):  
Vasily N. Pashkov
Keyword(s):  
Fault Tolerance ◽  
Distributed Control ◽  
High Availability ◽  
Software Defined Networks ◽  
Control Plane ◽  
Switch Control ◽  
Control Transfer ◽  
Minimum Number ◽  
Single Controller ◽  
Active Switch

The architecture of the high availability distributed control plane for SDN/OpenFlow networks are considered. High availability is achieved by redundancy of controller instances, active switch-controller communications, computing resources and tools for a controller instance failure and overloading detection and recovery. The proactive backup controller allocation algorithm which allows to minimize the time to repair in the case of a single controller instance failure is discussed. The algorithm for controller load-balancing allows dynamically reconfigure the control plane with a minimum number of switch control transfer operations to avoid controller instance overloading. The initial experimental results of the proposed algorithms for the HA distributed SDN control plane are described.

Sign in / Sign up

Export Citation Format

Share Document