SPIN-Based Verification of Authentication Protocols in WiMAX Networks.

Beth N. Komu, Mjumo Mzyece, Karim Djouani

Browse the full VTC paper archive.