Le, T. M. C., X. T. Pham, and V. T. Le. “Advancing Security Protocol Verification: A Comparative Study of Scyther, Tamarin”. Journal of Technical Education Science, vol. 19, no. Special Issue 01, Feb. 2024, pp. 43-53, doi:10.54644/jte.2024.1523.