A Coloured Petri Nets Model of the 5G Authentication and Key Agreement Protocol. RBCA [Internet]. 7º de dezembro de 2025 [citado 15º de janeiro de 2026];17(3):52-63. Disponível em: https://ojs.upf.br/index.php/rbca/article/view/16506