Validation of availability and policy based management for programmable networks
dc.contributor
dc.contributor.author
dc.date.accessioned
2019-03-13T07:53:15Z
dc.date.available
2019-03-13T07:53:15Z
dc.date.issued
2017-09-12
dc.identifier.uri
dc.description
Cotutela Universitat de Girona i Universidad de Los Andes
dc.description.abstract
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)
dc.format.extent
156 p.
dc.format.mimetype
application/pdf
dc.language.iso
eng
dc.publisher
Universitat de Girona
dc.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/
dc.source
TDX (Tesis Doctorals en Xarxa)
dc.subject.other
dc.title
Validation of availability and policy based management for programmable networks
dc.type
info:eu-repo/semantics/doctoralThesis
dc.rights.accessRights
info:eu-repo/semantics/openAccess
dc.contributor.director
dc.contributor.codirector
dc.subject.udc
dc.type.version
info:eu-repo/semantics/publishedVersion