Le, T. M. C.; Pham, X. T.; Le, V. T. Advancing Security Protocol Verification: A Comparative Study of Scyther, Tamarin. JTE 2024, 19, 43-53.