DyNetKAT : An Algebra of Dynamic Networks

Cite This

Files in this item

Files Size Format View

There are no files associated with this item.

CALTAIS, Georgiana, Hossein HOJJAT, Mohammad Reza MOUSAVI, Hünkar Can TUNÇ, 2022. DyNetKAT : An Algebra of Dynamic Networks. 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. Munich, Germany, Apr 2, 2022 - Apr 7, 2022. In: BOUYER, Patricia, ed., Lutz SCHRÖDER, ed.. Foundations of Software Science and Computation Structures : 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings. Cham:Springer International Publishing, pp. 184-204. ISSN 0302-9743. eISSN 1611-3349. ISBN 978-3-030-99252-1. Available under: doi: 10.1007/978-3-030-99253-8_10

@inproceedings{Caltais2022DyNet-57472, title={DyNetKAT : An Algebra of Dynamic Networks}, year={2022}, doi={10.1007/978-3-030-99253-8_10}, number={13242}, isbn={978-3-030-99252-1}, issn={0302-9743}, address={Cham}, publisher={Springer International Publishing}, series={Lecture Notes in Computer Science}, booktitle={Foundations of Software Science and Computation Structures : 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings}, pages={184--204}, editor={Bouyer, Patricia and Schröder, Lutz}, author={Caltais, Georgiana and Hojjat, Hossein and Mousavi, Mohammad Reza and Tunç, Hünkar Can} }

<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/57472"> <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2022-05-09T10:32:57Z</dcterms:available> <dc:contributor>Tunç, Hünkar Can</dc:contributor> <dcterms:abstract xml:lang="eng">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 for synchronisations and multi-packet behaviour to capture the interaction between the control- and data-plane in dynamic updates. We provide a sound and ground-complete axiomatisation of our language. We exploit the equational theory and provide an efficient method for reasoning about safety properties. We implement our equational theory in DyNetiKAT – a tool prototype, based on the Maude Rewriting Logic and the NetKAT tool, and apply it to a case study. We show that we can analyse the case study for networks with hundreds of switches using our tool prototype.</dcterms:abstract> <dc:contributor>Caltais, Georgiana</dc:contributor> <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2022-05-09T10:32:57Z</dc:date> <dcterms:title>DyNetKAT : An Algebra of Dynamic Networks</dcterms:title> <dc:contributor>Hojjat, Hossein</dc:contributor> <dc:creator>Tunç, Hünkar Can</dc:creator> <dc:creator>Hojjat, Hossein</dc:creator> <dc:contributor>Mousavi, Mohammad Reza</dc:contributor> <bibo:uri rdf:resource="https://kops.uni-konstanz.de/handle/123456789/57472"/> <dcterms:rights rdf:resource="http://creativecommons.org/licenses/by/4.0/"/> <foaf:homepage rdf:resource="http://localhost:8080/jspui"/> <dc:rights>Attribution 4.0 International</dc:rights> <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/> <dc:creator>Caltais, Georgiana</dc:creator> <dc:language>eng</dc:language> <dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/rdf/resource/123456789/47"/> <dc:creator>Mousavi, Mohammad Reza</dc:creator> <dcterms:issued>2022</dcterms:issued> <dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/rdf/resource/123456789/47"/> </rdf:Description> </rdf:RDF>

This item appears in the following Collection(s)

Attribution 4.0 International Except where otherwise noted, this item's license is described as Attribution 4.0 International

Search KOPS


Browse

My Account