Efficient Verifiable Public Key Encryption with Keyword Search Based on KP-ABE | IEEE Conference Publication | IEEE Xplore