Provably Secure ECC-Based Authentication and Key Agreement Scheme for Advanced Metering Infrastructure in the Smart Grid | IEEE Journals & Magazine | IEEE Xplore