Chauhan, Dr. Vinith. “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, no. 2 (October 4, 2025): 8–17. Accessed January 29, 2026. https://hmjournals.com/journal/index.php/IJITC/article/view/5840.