Secure and Verifiable Policy Update Outsourcing for Big Data Access Control in the Cloud | IEEE Journals & Magazine | IEEE Xplore