CHAUHAN, Dr. Vinith. Design and evaluation of a lightweight authentication protocol for GSM-based mobile devices using formal verification and statistical analysis. International Journal of Information Technology & Computer Engineering , [S. l.], v. 5, n. 2, p. 8–17, 2025. Disponível em: https://journal.hmjournals.com/index.php/IJITC/article/view/5840. Acesso em: 17 oct. 2025.