Choreography-Defined Networks: A Case Study on DoS Mitigation

Saverio Giallorenzo, Jacopo Mauro, Andrea Melis, Fabrizio Montesi, Marco Peressotti, Marco Prandini*

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Abstract

Software-defined networking and network function virtualization have brought unparalleled flexibility in defining and managing network architectures. With the widespread diffusion of cloud platforms, more resources are available to execute virtual network functions concurrently, but the current approach to defining networks in the cloud development is held back by the lack of tools to manage the composition of more complex flows than simple sequential invocations. In this paper, we advocate for the usage of choreographic programming for defining the multiparty workflows of a network. When applied to the composition of virtual network functions, this approach yields multiple advantages: a single program expresses the behavior of all components, in a way that is easier to understand and check; a compiler can produce the executable code for each component, guaranteeing correctness properties of their interactions such as deadlock freedom; and the bottleneck of a central orchestrator is removed. We describe the proposed approach and show its feasibility via a case study where different functions cooperatively solve a security monitoring task.

Original languageEnglish
Title of host publicationService-Oriented Computing - 22nd International Conference, ICSOC 2024, Proceedings
EditorsWalid Gaaloul, Michael Sheng, Qi Yu, Sami Yangui
Number of pages17
Volume15405
PublisherSpringer Science+Business Media
Publication date2024
Pages243-259
ISBN (Print)9789819608072
ISBN (Electronic)978-981-96-0808-9_18
DOIs
Publication statusPublished - 2024
Event22nd International Conference on Service-Oriented Computing, ICSOC 2024 - Tunis, Tunisia
Duration: 3. Dec 20246. Dec 2024

Conference

Conference22nd International Conference on Service-Oriented Computing, ICSOC 2024
Country/TerritoryTunisia
CityTunis
Period03/12/202406/12/2024
SeriesLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume15405 LNCS
ISSN0302-9743

Keywords

  • Choreographic Programming
  • Denial-of-Service
  • Network Security
  • Software-defined Networks
  • Virtual Network Functions

Fingerprint

Dive into the research topics of 'Choreography-Defined Networks: A Case Study on DoS Mitigation'. Together they form a unique fingerprint.

Cite this