Le, Thi Minh Chau, Xuan Thang Pham, and Vinh Thinh Le. “Advancing Security Protocol Verification: A Comparative Study of Scyther, Tamarin”. Journal of Technical Education Science 19, no. Special Issue 01 (February 28, 2024): 43–53. Accessed May 17, 2026. https://jte.edu.vn/index.php/jte/article/view/1523.