A formal approach for complex attacks generation based on mutation of 5G network traffic - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2022

A formal approach for complex attacks generation based on mutation of 5G network traffic

Résumé

We present a formal approach based on mutation techniques for the modelling of cybersecurity attacks and its application to 5G networks. We introduce formal definitions of the main concepts of network protocols, mutation operators, flow of network packets and network traffic. We design a formal approach based on different mutation operators that allows to design models that can be assimilated with known and unknown attacks. This approach has been implemented in our open source 5G network traffic fuzzer, 5Greplay, and has been applied to two use cases that are representative of attacks against 5G networks.

Dates et versions

hal-04477834 , version 1 (26-02-2024)

Identifiants

Citer

Zujany Salazar, Fatiha Zaïdi, Wissam Mallouli, Ana R Cavalli, Huu Nghia Nguyen, et al.. A formal approach for complex attacks generation based on mutation of 5G network traffic. 17th International Conference on Software Technologies (ICSOFT), Institute of Business Informatics Wroclaw; Department of Computing Sydney, Macquarie Univ., Sydney, Australia, Jul 2022, Lisbon (Portugal), Portugal. pp.234-241, ⟨10.5220/0011319000003266⟩. ⟨hal-04477834⟩
10 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More