Browsing School of Electronic Engineering and Computer Science by Author "Reus, B"
Now showing items 1-3 of 3
-
Model Checking Software-Defined Networks with Flow Entries that Time Out (version with appendix)
Klimis, V; Parisis, G; Reus, B (arXiv, 2020-08-14)Software-defined networking (SDN) enables advanced operation and management of network deployments through (virtually) centralised, programmable controllers, which deploy network functionality by installing rules in the ... -
Towards Model Checking Real-World Software-Defined Networks
Klimis, V; Parisis, G; Reus, B (Springer Nature, 2020-07-14)In software-defined networks (SDN), a controller program is in charge of deploying diverse network functionality across a large number of switches, but this comes at a great risk: deploying buggy controller code could ... -
Towards Model Checking Real-World Software-Defined Networks (version with appendix)
Klimis, V; Parisis, G; Reus, B (arXiv, 2020-04-24)In software-defined networks (SDN), a controller program is in charge of deploying diverse network functionality across a large number of switches, but this comes at a great risk: deploying buggy controller code could ...