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. ​
​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: