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. Retrieved from https://journal.hmjournals.com/index.php/IJITC/article/view/5840