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), pp. 8–17. Available at: https://journal.hmjournals.com/index.php/IJITC/article/view/5840 (Accessed: 17 October 2025).