DyNetKAT : An Algebra of Dynamic Networks

Kurzanzeige
dc.contributor.authorCaltais, Georgiana
dc.contributor.authorHojjat, Hossein
dc.contributor.authorMousavi, Mohammad Reza
dc.contributor.authorTunç, Hünkar Can
dc.date.accessioned2022-05-09T10:32:57Z
dc.date.available2022-05-09T10:32:57Z
dc.date.issued2022eng
dc.description.abstractWe 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.eng
dc.description.versionpublishedeng
dc.identifier.doi10.1007/978-3-030-99253-8_10eng
dc.identifier.ppn1912153688
dc.identifier.urihttps://kops.uni-konstanz.de/handle/123456789/57472
dc.language.isoengeng
dc.rightsAttribution 4.0 International
dc.rights.urihttp://creativecommons.org/licenses/by/4.0/
dc.subjectSoftware Defined Networks, Dynamic Updates, Dynamic Network Reconfiguration, NetKAT, Process Algebra, Equational Reasoningeng
dc.subject.ddc004eng
dc.titleDyNetKAT : An Algebra of Dynamic Networkseng
dc.typeINPROCEEDINGSeng
dspace.entity.typePublication
kops.citation.bibtex
@inproceedings{Caltais2022DyNet-57472,
  year={2022},
  doi={10.1007/978-3-030-99253-8_10},
  title={DyNetKAT : An Algebra of Dynamic Networks},
  number={13242},
  isbn={978-3-030-99252-1},
  issn={0302-9743},
  publisher={Springer International Publishing},
  address={Cham},
  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}
}
kops.citation.iso690CALTAIS, 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, 2. Apr. 2022 - 7. Apr. 2022. In: BOUYER, Patricia, Hrsg., Lutz SCHRÖDER, Hrsg.. 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, 2022, S. 184-204. Lecture Notes in Computer Science. 13242. ISSN 0302-9743. eISSN 1611-3349. ISBN 978-3-030-99252-1. Verfügbar unter: doi: 10.1007/978-3-030-99253-8_10deu
kops.citation.iso690CALTAIS, 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, 2022, pp. 184-204. Lecture Notes in Computer Science. 13242. ISSN 0302-9743. eISSN 1611-3349. ISBN 978-3-030-99252-1. Available under: doi: 10.1007/978-3-030-99253-8_10eng
kops.citation.rdf
<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/server/rdf/resource/123456789/57472">
    <dc:contributor>Mousavi, Mohammad Reza</dc:contributor>
    <dspace:hasBitstream rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/57472/1/Caltais_2-vvxz9k3lo09w4.PDF"/>
    <foaf:homepage rdf:resource="http://localhost:8080/"/>
    <dc:creator>Caltais, Georgiana</dc:creator>
    <dcterms:hasPart rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/57472/1/Caltais_2-vvxz9k3lo09w4.PDF"/>
    <dc:creator>Hojjat, Hossein</dc:creator>
    <bibo:uri rdf:resource="https://kops.uni-konstanz.de/handle/123456789/57472"/>
    <dc:rights>Attribution 4.0 International</dc:rights>
    <dcterms:rights rdf:resource="http://creativecommons.org/licenses/by/4.0/"/>
    <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2022-05-09T10:32:57Z</dcterms:available>
    <dcterms:issued>2022</dcterms:issued>
    <dc:contributor>Hojjat, Hossein</dc:contributor>
    <dc:contributor>Tunç, Hünkar Can</dc:contributor>
    <dcterms:title>DyNetKAT : An Algebra of Dynamic Networks</dcterms:title>
    <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2022-05-09T10:32:57Z</dc:date>
    <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/>
    <dc:creator>Tunç, Hünkar Can</dc:creator>
    <dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/36"/>
    <dc:creator>Mousavi, Mohammad Reza</dc:creator>
    <dc:language>eng</dc:language>
    <dc:contributor>Caltais, Georgiana</dc:contributor>
    <dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/36"/>
    <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>
  </rdf:Description>
</rdf:RDF>
kops.conferencefield25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, 2. Apr. 2022 - 7. Apr. 2022, Munich, Germanydeu
kops.date.conferenceEnd2022-04-07eng
kops.date.conferenceStart2022-04-02eng
kops.description.openAccessopenaccessbookparteng
kops.flag.isPeerReviewedtrueeng
kops.flag.knbibliographytrue
kops.identifier.nbnurn:nbn:de:bsz:352-2-vvxz9k3lo09w4
kops.location.conferenceMunich, Germanyeng
kops.sourcefieldBOUYER, Patricia, Hrsg., Lutz SCHRÖDER, Hrsg.. <i>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</i>. Cham: Springer International Publishing, 2022, S. 184-204. Lecture Notes in Computer Science. 13242. ISSN 0302-9743. eISSN 1611-3349. ISBN 978-3-030-99252-1. Verfügbar unter: doi: 10.1007/978-3-030-99253-8_10deu
kops.sourcefield.plainBOUYER, Patricia, Hrsg., Lutz SCHRÖDER, Hrsg.. 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, 2022, S. 184-204. Lecture Notes in Computer Science. 13242. ISSN 0302-9743. eISSN 1611-3349. ISBN 978-3-030-99252-1. Verfügbar unter: doi: 10.1007/978-3-030-99253-8_10deu
kops.sourcefield.plainBOUYER, 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, 2022, pp. 184-204. Lecture Notes in Computer Science. 13242. ISSN 0302-9743. eISSN 1611-3349. ISBN 978-3-030-99252-1. Available under: doi: 10.1007/978-3-030-99253-8_10eng
kops.title.conference25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022eng
relation.isAuthorOfPublication23c8465d-2f7a-4b05-a1af-35aa34f5fd85
relation.isAuthorOfPublication.latestForDiscovery23c8465d-2f7a-4b05-a1af-35aa34f5fd85
source.bibliographicInfo.fromPage184eng
source.bibliographicInfo.seriesNumber13242eng
source.bibliographicInfo.toPage204eng
source.contributor.editorBouyer, Patricia
source.contributor.editorSchröder, Lutz
source.identifier.eissn1611-3349eng
source.identifier.isbn978-3-030-99252-1eng
source.identifier.issn0302-9743eng
source.publisherSpringer International Publishingeng
source.publisher.locationChameng
source.relation.ispartofseriesLecture Notes in Computer Scienceeng
source.titleFoundations 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, Proceedingseng

Dateien

Originalbündel

Gerade angezeigt 1 - 1 von 1
Vorschaubild nicht verfügbar
Name:
Caltais_2-vvxz9k3lo09w4.PDF
Größe:
721.89 KB
Format:
Adobe Portable Document Format
Caltais_2-vvxz9k3lo09w4.PDF
Caltais_2-vvxz9k3lo09w4.PDFGröße: 721.89 KBDownloads: 45

Sammlungen

Informatik und Informationswissenschaft: Publikationen