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