Multi-Keyword Searchable and Verifiable Attribute-Based Encryption Over Cloud Data