Chauhan DV. Design and evaluation of a lightweight authentication protocol for GSM-based mobile devices using formal verification and statistical analysis. IJITC [Internet]. 2025 Oct. 4 [cited 2026 Mar. 23];5(2):8-17. Available from: https://hmjournals.com/ijaap/index.php/IJITC/article/view/5840