Authenticated key exchange for wireless security | IEEE Conference Publication | IEEE Xplore