An Improved Secure Authentication Protocol for WiMAX with Formal Verification.

Anjani Kumar Rai, Shivendu Mishra, Pramod Narayan Tripathi

Browse the full ACC paper archive.