NGA, T. T.; HUNG, N. Q.; GIANG, B. T. A Formal Analysis of The Modified 5G EAP-TLS Protocol . Journal of Science and Technology on Information security, [S. l.], v. 2, n. 28, p. 27-39, 2026. DOI: 10.54654/isj.v2i28.6385. Disponível em: https://isj.vn/index.php/journal_STIS/article/view/6385. Acesso em: 25 aug. 2026.