Nga, T. T., Hung, N. Q. and Giang, B. T. (2026) “A Formal Analysis of The Modified 5G EAP-TLS Protocol ”, Journal of Science and Technology on Information security, 2(28), pp. 27-39. doi: 10.54654/isj.v2i28.6385.