A Universally Composable Key Exchange Protocol for Advanced Metering Infrastructure in the Energy Internet | IEEE Journals & Magazine | IEEE Xplore