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