RAJANNA, P.; RENUKAMBA SUNITHA, N. Security Analysis of Biometric Verification Protocol Using Scyther Model Checker: A Case Study. CURRENT APPLIED SCIENCE AND TECHNOLOGY, Bangkok, Thailand, v. 25, n. 6, p. e0257532, 2025. DOI: 10.55003/cast.2025.257532. Disponível em: https://li01.tci-thaijo.org/index.php/cast/article/view/257532. Acesso em: 17 sep. 2026.