Le, Thi Minh Chau, Xuan Thang Pham, and Vinh Thinh Le. 2024. “Advancing Security Protocol Verification: A Comparative Study of Scyther, Tamarin”. Journal of Technical Education Science 19 (Special Issue 01):43-53. https://doi.org/10.54644/jte.2024.1523.