An Improved Secure Authentication Protocol for WiMAX with Formal Verification. - Anjani Kumar Rai; Shivendu Mishra; Pramod Narayan Tripathi (ACC (2), 2011)