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