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