Showing 2021Show all
2 papers · 1 filter
cs.FL2021
Explaining Safety Failures in NetKAT
Georgiana Caltais, Hunkar Can Tunc
This work introduces a concept of explanations with respect to the violation of safe behaviours within software defined networks (SDNs) expressible in NetKAT. The latter is a netwo…
cs.NI2021
DyNetKAT: An Algebra of Dynamic Networks
Georgiana Caltais, Hossein Hojjat, Mohammad Mousavi +1
We introduce a formal language for specifying dynamic updates for Software Defined Networks. Our language builds upon Network Kleene Algebra with Tests (NetKAT) and adds constructs…