2024-03-28T18:41:10Zhttps://www.tdx.cat/oai/requestoai:www.tdx.cat:10803/6661982019-06-13T13:42:32Zcom_10803_253col_10803_254
Validation of availability and policy based management for programmable networks
Maldonado López, Ferney A.
maldofer@gmail.com
false
Calle Ortega, Eusebi
Donoso Meisel, Yezid
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
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)
2019-03-12T13:39:38Z
2019-03-12T13:39:38Z
2017-09-12
info:eu-repo/semantics/doctoralThesis
info:eu-repo/semantics/publishedVersion
http://hdl.handle.net/10803/666198
eng
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/
info:eu-repo/semantics/openAccess
Universitat de Girona
TDX (Tesis Doctorals en Xarxa)