L. V. Thinh, “Paradigms in Security Protocol Verification: A Multi-Tool Analysis ”, ISJ, vol. 3, no. 23, pp. 62-81, Dec. 2024.