Nga, Tran Thi, Nguyen Quoc Hung, and Bui Thu Giang. “A Formal Analysis of The Modified 5G EAP-TLS Protocol ”. Journal of Science and Technology on Information security 2, no. 28 (August 22, 2026): 27-39. Accessed August 24, 2026. https://isj.vn/index.php/journal_STIS/article/view/6385.