Validation of availability and policy based management for programmable networks

Autor/a

Maldonado López, Ferney A.

Director/a

Calle Ortega, Eusebi

Codirector/a

Donoso Meisel, Yezid

Fecha de defensa

2017-09-12

Páginas

156 p.



Departamento/Instituto

Universitat de Girona. Departament d'Arquitectura i Tecnologia de Computadors

Universidad de los Andes (Bogotà, Colòmbia)

Resumen

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)

Palabras clave

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

Materias

68 - Industrias, oficios y comercio de artículos acabados. Tecnología cibernética y automática

Nota

Cotutela Universitat de Girona i Universidad de Los Andes

Documentos

tfml_20170912.pdf

3.670Mb

 

Derechos

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/
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/

Este ítem aparece en la(s) siguiente(s) colección(ones)