LE, T. M. C.; PHAM, X. T.; LE, V. T. Advancing Security Protocol Verification: A Comparative Study of Scyther, Tamarin. Journal of Technical Education Science, [S. l.], v. 19, n. Special Issue 01, p. 43–53, 2024. DOI: 10.54644/jte.2024.1523. Disponível em: https://www.jte.edu.vn/index.php/jte/article/view/1523. Acesso em: 29 apr. 2026.