Validation of availability and policy based management for programmable networks

• Autores: Ferney Alonso Maldonado López
• Directores de la Tesis: Eusebi Calle Ortega (dir. tes.), Yezyd Donoso Meisel (codir. tes.)
• Lectura: En la Universitat de Girona ( España ) en 2017
• Idioma: español
• Tribunal Calificador de la Tesis: Miguel Camelo (presid.), Josep Lluís Marzo i Lázaro (secret.), Sandra Rueda Rodríguez (voc.)
• Programa de doctorado: Programa de Doctorado en Tecnología por la Universidad de Girona
• Materias:
  • Lógica
    • Lógica deductiva
      • Lenguajes formales
  • Matemáticas
    • Ciencia de los ordenadores
      • Logicales de ordenadores
• Enlaces
  • Tesis en acceso abierto en: TDX
• 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.