T. T. Nga, N. Q. Hung, and B. T. Giang, “A Formal Analysis of The Modified 5G EAP-TLS Protocol ”, ISJ, vol. 2, no. 28, pp. 27-39, Aug. 2026.