Afrizal Zein 2023. Formal Verification for WiMAX Networks Using Enhanced Security Protocols. Journal of Science Technology (JoSTec). 5, 1 (Dec. 2023), 54–62. DOI:https://doi.org/10.55299/jostec.v5i1.763.