Rajanna, P. .; Renukamba Sunitha, N. Security Analysis of Biometric Verification Protocol Using Scyther Model Checker: A Case Study. Curr. Appl. Sci. Technol. 2025, 25, e0257532.