Blockchain-Based Portable Authenticated Data Transmission for Mobile Edge Computing: A Universally Composable Secure Solution | IEEE Journals & Magazine | IEEE Xplore