SPIN-Based Verification of Authentication Protocols in WiMAX Networks. - Beth N. Komu; Mjumo Mzyece; Karim Djouani (VTC Fall, 2012)