Thinh, Le Vinh. “Paradigms in Security Protocol Verification: A Multi-Tool Analysis ”. Journal of Science and Technology on Information security 3, no. 23 (December 19, 2024): 62-81. Accessed May 17, 2025. https://isj.vn/index.php/journal_STIS/article/view/1059.