Provably Secure Authenticated Key Agreement Scheme for Smart Grid | IEEE Journals & Magazine | IEEE Xplore