Chauhan, Dr. Vinith. 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.