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 (Aug. 2026), 27-39. DOI:https://doi.org/10.54654/isj.v2i28.6385.