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