Validation of availability and policy based management for programmable networks

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