Efficient and Provable Security Searchable Asymmetric Encryption in the Cloud | IEEE Journals & Magazine | IEEE Xplore