Afrizal Zein, & Lubis, J. (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