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