A Coloured Petri Nets Model of the 5G Authentication and Key Agreement Protocol. Revista Brasileira de Computação Aplicada, [S. l.], v. 17, n. 3, p. 52–63, 2025. DOI: 10.5335/rbca.v17i3.16506. Disponível em: https://ojs.upf.br/index.php/rbca/article/view/16506. Acesso em: 15 jan. 2026.