Security Analysis of Two Password-Authenticated Multi-Key Exchange Protocols | IEEE Journals & Magazine | IEEE Xplore