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.