A Provably-Secure and Efficient Verifier-Based Anonymous Password-Authenticated Key Exchange Protocol | IEEE Conference Publication | IEEE Xplore