Universally Composable Key Bootstrapping and Secure Communication Protocols for the Energy Internet | IEEE Journals & Magazine | IEEE Xplore