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