D. V. Chauhan, “Design and evaluation of a lightweight authentication protocol for GSM-based mobile devices using formal verification and statistical analysis”, IJITC, vol. 5, no. 2, pp. 8–17, Oct. 2025.