Analysis of the SPEKE password-authenticated key exchange protocol | IEEE Journals & Magazine | IEEE Xplore