Item


Validation of availability and policy based management for programmable networks

Cotutela Universitat de Girona i Universidad de Los Andes

SDN is a network technology that separates control functions and the data plane. This separation allows flexibility in the management and use of network resources because the software is specialized in controlling the traffic and economic hardware oversees forwarding. Developers can build applications that control the detail of network and packet processing, from the autonomous configuration to complex operations which involve the context. However, the human factor represents between 50% and 80% of network failures due to errors and bugs in the programming of applications and the implementation of algorithms and protocols. This doctoral thesis proposes 1) to use formal specification and verification of network functionalities to reduce the impact of network failures. 2) It presents the guide of network administration through policy implementation for security and auditing, and 3) shows the impact of failures on a representation of SDN architecture as an interdependent network model.

SDN permite la separación de las funciones de control de la capa de datos. La separación permite mayor flexibilidad al administrar recursos de red. Los desarrolladores pueden diseñar aplicaciones que controlen el detalle de las operaciones de la red. Sin embargo, uno de los problemas más frecuentes es la configuración y programación de la red. El factor humano representa entre el 50% y el 80% de los fallos de red son producidos por errores de configuración y bugs en la programación de aplicaciones y la implementación de algoritmos. Esta tesis de doctorado propone 1) la utilización mecanismos formales de especificación y verificación de aplicaciones de red para reducir el impacto de sus fallas. 2) orienta la administración por políticas para la seguridad y la auditoría en redes, y 3) describe el comportamiento de las fallas en SDN como una red interdependiente y el presenta el impacto de las fallas. Cotutela entre la Universidad de los Andes (Colombia) y la Universidad de Girona (España)

Universitat de Girona

Manager: Calle Ortega, Eusebi
Donoso Meisel, Yezid
Universidad de los Andes (Bogotà, Colòmbia)
Other contributions: Universitat de Girona. Departament d’Arquitectura i Tecnologia de Computadors
Author: Maldonado López, Ferney A.
Date: 2017 September 12
Abstract: Cotutela Universitat de Girona i Universidad de Los Andes
SDN is a network technology that separates control functions and the data plane. This separation allows flexibility in the management and use of network resources because the software is specialized in controlling the traffic and economic hardware oversees forwarding. Developers can build applications that control the detail of network and packet processing, from the autonomous configuration to complex operations which involve the context. However, the human factor represents between 50% and 80% of network failures due to errors and bugs in the programming of applications and the implementation of algorithms and protocols. This doctoral thesis proposes 1) to use formal specification and verification of network functionalities to reduce the impact of network failures. 2) It presents the guide of network administration through policy implementation for security and auditing, and 3) shows the impact of failures on a representation of SDN architecture as an interdependent network model.
SDN permite la separación de las funciones de control de la capa de datos. La separación permite mayor flexibilidad al administrar recursos de red. Los desarrolladores pueden diseñar aplicaciones que controlen el detalle de las operaciones de la red. Sin embargo, uno de los problemas más frecuentes es la configuración y programación de la red. El factor humano representa entre el 50% y el 80% de los fallos de red son producidos por errores de configuración y bugs en la programación de aplicaciones y la implementación de algoritmos. Esta tesis de doctorado propone 1) la utilización mecanismos formales de especificación y verificación de aplicaciones de red para reducir el impacto de sus fallas. 2) orienta la administración por políticas para la seguridad y la auditoría en redes, y 3) describe el comportamiento de las fallas en SDN como una red interdependiente y el presenta el impacto de las fallas. Cotutela entre la Universidad de los Andes (Colombia) y la Universidad de Girona (España)
Format: application/pdf
Other identifiers: http://hdl.handle.net/10803/666198
Document access: http://hdl.handle.net/10256/16330
Language: eng
Publisher: Universitat de Girona
Rights: L’accés als continguts d’aquesta tesi queda condicionat a l’acceptació de les condicions d’ús establertes per la següent llicència Creative Commons: http://creativecommons.org/licenses/by/4.0/
Subject: Xarxes d’ordinadors
Computer networks
Redes de ordenadores
Gestió de recursos de xarxa
Network resource management
Gestión de recursos en red
Impacte de les fallades
Failure impact
Impactor de los fallos
Xarxes programables
Programmable networks
Redes programables
SDN
Software Defined Networking
68 - Indústries, oficis i comerç d’articles acabats. Tecnologia cibernètica i automàtica
Title: Validation of availability and policy based management for programmable networks
Type: info:eu-repo/semantics/doctoralThesis
Repository: DUGiDocs

Subjects

Authors