Afrizal Zein; Lubis, J. Formal Verification for WiMAX Networks Using Enhanced Security Protocols. JoSTec 2023, 5, 54-62.