Thinh, Le Vinh. 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.