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 April 29, 2026. https://www.jte.edu.vn/index.php/jte/article/view/1523.