Chauhan, D. V. Design and Evaluation of a Lightweight Authentication Protocol for GSM-Based Mobile Devices Using Formal Verification and Statistical Analysis. IJITC 2025, 5, 8-17.