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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.