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. doi: 10.55529/ijitc.52.8.17.