Explaining SDN Failures via Axiomatisations

Cite This

Files in this item

Checksum: MD5:a8937d733b2613115c76cfb5874bb7b9

CALTAIS, Georgiana, 2019. Explaining SDN Failures via Axiomatisations. Third Symposium on Working Formal Methods : FROM 2019. Timişoara, Romania, Sep 3, 2019 - Sep 5, 2019. In: MARIN, Mircea, ed., Adrian CRĂCIUN, ed.. Proceedings Third Symposium on Working Formal Methods : FROM 2019, pp. 48-60. eISSN 2075-2180. Available under: doi: 10.4204/EPTCS.303.4

@inproceedings{Caltais2019Expla-47284, title={Explaining SDN Failures via Axiomatisations}, year={2019}, doi={10.4204/EPTCS.303.4}, number={303}, series={Electronic Proceedings in Theoretical Computer Science}, booktitle={Proceedings Third Symposium on Working Formal Methods : FROM 2019}, pages={48--60}, editor={Marin, Mircea and Crăciun, Adrian}, author={Caltais, Georgiana} }

<rdf:RDF xmlns:dcterms="http://purl.org/dc/terms/" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:bibo="http://purl.org/ontology/bibo/" xmlns:dspace="http://digital-repositories.org/ontologies/dspace/0.1.0#" xmlns:foaf="http://xmlns.com/foaf/0.1/" xmlns:void="http://rdfs.org/ns/void#" xmlns:xsd="http://www.w3.org/2001/XMLSchema#" > <rdf:Description rdf:about="https://kops.uni-konstanz.de/rdf/resource/123456789/47284"> <dcterms:title>Explaining SDN Failures via Axiomatisations</dcterms:title> <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/> <dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/rdf/resource/123456789/36"/> <dspace:hasBitstream rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/47284/1/Caltais_2-1hfvigklne8do7.pdf"/> <dcterms:hasPart rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/47284/1/Caltais_2-1hfvigklne8do7.pdf"/> <dc:contributor>Caltais, Georgiana</dc:contributor> <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2019-10-22T12:03:49Z</dc:date> <dc:language>eng</dc:language> <bibo:uri rdf:resource="https://kops.uni-konstanz.de/handle/123456789/47284"/> <dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/rdf/resource/123456789/36"/> <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2019-10-22T12:03:49Z</dcterms:available> <dcterms:rights rdf:resource="https://kops.uni-konstanz.de/page/termsofuse"/> <dc:rights>terms-of-use</dc:rights> <dcterms:abstract xml:lang="eng">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.</dcterms:abstract> <dcterms:issued>2019</dcterms:issued> <dc:creator>Caltais, Georgiana</dc:creator> <foaf:homepage rdf:resource="http://localhost:8080/jspui"/> </rdf:Description> </rdf:RDF>

Downloads since Oct 22, 2019 (Information about access statistics)

Caltais_2-1hfvigklne8do7.pdf 10

This item appears in the following Collection(s)

Search KOPS


Browse

My Account