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