SPIN-Based Verification of Authentication Protocols in WiMAX Networks | IEEE Conference Publication | IEEE Xplore