“A Coloured Petri Nets Model of the 5G Authentication and Key Agreement Protocol”, RBCA, vol. 17, nº 3, p. 52–63, dez. 2025, doi: 10.5335/rbca.v17i3.16506.