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 Jan. 29];5(2):8-17. Available from: https://hmjournals.com/journal/index.php/IJITC/article/view/5840