Chauhan, D. V. “Design and Evaluation of a Lightweight Authentication Protocol for GSM-Based Mobile Devices Using Formal Verification and Statistical Analysis”. International Journal of Information Technology &Amp; Computer Engineering, vol. 5, no. 2, Oct. 2025, pp. 8-17, doi:10.55529/ijitc.52.8.17.