Computation-and communication-efficient three-party encrypted key exchange protocols | IEEE Conference Publication | IEEE Xplore