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), pp. 43–53. doi: 10.54644/jte.2024.1523.