Three-party encrypted key exchange without server public-keys | IEEE Journals & Magazine | IEEE Xplore