Provably Secure Key-Aggregate Cryptosystems with Broadcast Aggregate Keys for Online Data Sharing on the Cloud | IEEE Journals & Magazine | IEEE Xplore