Rajanna, P. ., & Renukamba Sunitha, N. (2025). Security Analysis of Biometric Verification Protocol Using Scyther Model Checker: A Case Study. CURRENT APPLIED SCIENCE AND TECHNOLOGY, 25(6), e0257532. https://doi.org/10.55003/cast.2025.257532