@inproceedings{caa05af57c3b41b49d21f5d4295ca0e5,
title = "Choreography-Defined Networks: A Case Study on DoS Mitigation",
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.",
keywords = "Choreographic Programming, Denial-of-Service, Network Security, Software-defined Networks, Virtual Network Functions",
author = "Saverio Giallorenzo and Jacopo Mauro and Andrea Melis and Fabrizio Montesi and Marco Peressotti and Marco Prandini",
year = "2024",
doi = "10.1007/978-981-96-0808-9_18",
language = "English",
isbn = "9789819608072",
volume = "15405",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Science+Business Media",
pages = "243--259",
editor = "Walid Gaaloul and Michael Sheng and Qi Yu and Sami Yangui",
booktitle = "Service-Oriented Computing - 22nd International Conference, ICSOC 2024, Proceedings",
address = "United States",
note = "22nd International Conference on Service-Oriented Computing, ICSOC 2024 ; Conference date: 03-12-2024 Through 06-12-2024",
}