Le, T.M.C., Pham, X.T. and Le, V.T. 2024. Advancing Security Protocol Verification: A Comparative Study of Scyther, Tamarin. Journal of Technical Education Science. 19, Special Issue 01 (Feb. 2024), 43–53. DOI:https://doi.org/10.54644/jte.2024.1523.