Thinh, L.V. 2024. Paradigms in Security Protocol Verification: A Multi-Tool Analysis . Journal of Science and Technology on Information security. 3, 23 (Dec. 2024), 62-81. DOI:https://doi.org/10.54654/isj.v3i23.1059.