Provably Secure and Lightweight Identity-Based Authenticated Data Sharing Protocol for Cyber-Physical Cloud Environment | IEEE Journals & Magazine | IEEE Xplore