Le, T. M. C., Pham, X. T., & Le, V. T. (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