THINH, L. V. Paradigms in Security Protocol Verification: A Multi-Tool Analysis . Journal of Science and Technology on Information security, [S. l.], v. 3, n. 23, p. 62-81, 2024. DOI: 10.54654/isj.v3i23.1059. Disponível em: https://isj.vn/index.php/journal_STIS/article/view/1059. Acesso em: 17 may. 2025.