Nga, T. T.; Hung, N. Q.; Giang, B. T. A Formal Analysis of The Modified 5G EAP-TLS Protocol . ISJ 2026, 2, 27-39.