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

Zujany Salazar
  • Fonction : Auteur
  • PersonId : 1231998
Fatiha Zaidi
Wissam Mallouli
  • Fonction : Auteur
  • PersonId : 1231999
Huu Nghia Nguyen
  • Fonction : Auteur
Edgardo Montes de Oca

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.
Fichier principal
Vignette du fichier
ICSOFT_ (1).pdf (369.93 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04007862 , version 1 (28-02-2023)

Identifiants

Citer

Zujany Salazar, Fatiha Zaidi, Wissam Mallouli, Ana Rosa Cavalli, Huu Nghia Nguyen, et al.. A Formal Approach for Complex Attacks Generation based on Mutation of 5G Network Traffic. International Conference on Software and Data Technologies, University of Fribourg, Switzerland ; University of Twente, Netherlands ; Wroclaw University of Economics and Business, Poland and Macquarie University, Sydney, Australia, Jul 2022, Lisbonne, Portugal. pp.P. 234 - 241, ⟨10.5220/0011319000003266⟩. ⟨hal-04007862⟩
63 Consultations
115 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More