A provably secure authenticated key exchange protocol | IEEE Conference Publication | IEEE Xplore