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