Nga TT, Hung NQ, Giang BT. A Formal Analysis of The Modified 5G EAP-TLS Protocol . ISJ [Internet]. 2026Aug.22 [cited 2026Aug.25];2(28):27-39. Available from: https://isj.vn/index.php/journal_STIS/article/view/6385