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. DOI: 10.55529/ijitc.52.8.17. Disponível em: https://hmjournals.com/journal/index.php/IJITC/article/view/5840. Acesso em: 29 jan. 2026.