Nga, Tran Thi, Nguyen Quoc Hung, and Bui Thu Giang. 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.