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