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