An Improved Secure Authentication Protocol for WiMAX with Formal Verification

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]

Authors

Anjani Kumar Rai

This author has not been identified. Look up 'Anjani Kumar Rai' in Google

Shivendu Mishra

This author has not been identified. Look up 'Shivendu Mishra' in Google

Pramod Narayan Tripathi

This author has not been identified. Look up 'Pramod Narayan Tripathi' in Google