Explaining SDN Failures via Axiomatisations

Explaining SDN Failures via Axiomatisations

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 network programming language that is based on a well-studied mathematical structure, namely, Kleene Algebra with Tests (KAT)....

Full description

Bibliographic Details
Main Author: Georgiana Caltais
Format: Article
Language:English
Published: Open Publishing Association 2019-09-01
Series:Electronic Proceedings in Theoretical Computer Science
Online Access:http://arxiv.org/pdf/1909.01745v1
id doaj-a3931b8631944a28aca08be434a18f2e
record_format Article
spelling doaj-a3931b8631944a28aca08be434a18f2e2020-11-25T02:18:59ZengOpen Publishing AssociationElectronic Proceedings in Theoretical Computer Science2075-21802019-09-01303Proc. FROM 2019486010.4204/EPTCS.303.4:23Explaining SDN Failures via AxiomatisationsGeorgiana CaltaisThis 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 network programming language that is based on a well-studied mathematical structure, namely, Kleene Algebra with Tests (KAT). Amongst others, the mathematical foundation of NetKAT gave rise to a sound and complete equational theory. In our setting, a safe behaviour is characterised by a NetKAT policy which does not enable forwarding packets from ingress to an undesirable egress. Explanations for safety violations are derived in an equational fashion, based on a modification of the existing NetKAT axiomatisation.http://arxiv.org/pdf/1909.01745v1
collection DOAJ
language English
format Article
sources DOAJ
author Georgiana Caltais
spellingShingle Georgiana Caltais
Explaining SDN Failures via Axiomatisations
Electronic Proceedings in Theoretical Computer Science
author_facet Georgiana Caltais
author_sort Georgiana Caltais
title Explaining SDN Failures via Axiomatisations
title_short Explaining SDN Failures via Axiomatisations
title_full Explaining SDN Failures via Axiomatisations
title_fullStr Explaining SDN Failures via Axiomatisations
title_full_unstemmed Explaining SDN Failures via Axiomatisations
title_sort explaining sdn failures via axiomatisations
publisher Open Publishing Association
series Electronic Proceedings in Theoretical Computer Science
issn 2075-2180
publishDate 2019-09-01
description 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 network programming language that is based on a well-studied mathematical structure, namely, Kleene Algebra with Tests (KAT). Amongst others, the mathematical foundation of NetKAT gave rise to a sound and complete equational theory. In our setting, a safe behaviour is characterised by a NetKAT policy which does not enable forwarding packets from ingress to an undesirable egress. Explanations for safety violations are derived in an equational fashion, based on a modification of the existing NetKAT axiomatisation.
url http://arxiv.org/pdf/1909.01745v1
work_keys_str_mv AT georgianacaltais explainingsdnfailuresviaaxiomatisations
_version_ 1724879430966312960

Similar Items