Chauhan, D. V. (2025). 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 , 5(2), 8–17. https://doi.org/10.55529/ijitc.52.8.17