Afrizal Zein. Formal Verification for WiMAX Networks Using Enhanced Security Protocols. JoSTec [Internet]. 2023 Dec. 30 [cited 2024 Dec. 22];5(1):54-62. Available from: https://ejournal.ipinternasional.com/index.php/jostec/article/view/763