A Coloured Petri Nets Model of the 5G Authentication and Key Agreement Protocol. (2025). Revista Brasileira De Computação Aplicada, 17(3), 52-63. https://doi.org/10.5335/rbca.v17i3.16506