Provably Secure and Lightweight Authentication Key Agreement Scheme for Smart Meters | IEEE Journals & Magazine | IEEE Xplore