Anjani Kumar Rai, Shivendu Mishra, Pramod Narayan Tripathi. An Improved Secure Authentication Protocol for WiMAX with Formal Verification. In Ajith Abraham, Jaime Lloret Mauri, John F. Buford, Junichi Suzuki, Sabu M. Thampi, editors, Advances in Computing and Communications - First International Conference, ACC 2011, Kochi, India, July 22-24, 2011. Proceedings. Volume 191 of Communications in Computer and Information Science, pages 407-416, Springer, 2011. [doi]
Abstract is missing.