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