Afrizal Zein. “Formal Verification for WiMAX Networks Using Enhanced Security Protocols”. Journal of Science Technology (JoSTec) 5, no. 1 (December 30, 2023): 54–62. Accessed July 4, 2024. https://ejournal.ipinternasional.com/index.php/jostec/article/view/763.