A Formal Approach for Complex Attacks Generation based on Mutation of 5G Network Traffic

Zujany Salazar, Fatiha Zaidi, Wissam Mallouli, Ana Cavalli, Huu Nguyen, Edgardo Montes De Oca

2022

Abstract

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.

Paper Citation

in Harvard Style

Salazar Z., Zaidi F., Mallouli W., Cavalli A., Nguyen H. and Montes De Oca E. (2022). A Formal Approach for Complex Attacks Generation based on Mutation of 5G Network Traffic. In Proceedings of the 17th International Conference on Software Technologies - Volume 1: ICSOFT, ISBN 978-989-758-588-3, pages 234-241. DOI: 10.5220/0011319000003266

in Bibtex Style

@conference{icsoft22,
author={Zujany Salazar and Fatiha Zaidi and Wissam Mallouli and Ana Cavalli and Huu Nguyen and Edgardo Montes De Oca},
title={A Formal Approach for Complex Attacks Generation based on Mutation of 5G Network Traffic},
booktitle={Proceedings of the 17th International Conference on Software Technologies - Volume 1: ICSOFT,},
year={2022},
pages={234-241},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0011319000003266},
isbn={978-989-758-588-3},
}

in EndNote Style

TY - CONF

JO - Proceedings of the 17th International Conference on Software Technologies - Volume 1: ICSOFT,
TI - A Formal Approach for Complex Attacks Generation based on Mutation of 5G Network Traffic
SN - 978-989-758-588-3
AU - Salazar Z.
AU - Zaidi F.
AU - Mallouli W.
AU - Cavalli A.
AU - Nguyen H.
AU - Montes De Oca E.
PY - 2022
SP - 234
EP - 241
DO - 10.5220/0011319000003266