A Verifiable Semantic Searching Scheme by Optimal Matching Over Encrypted Data in Public Cloud | IEEE Journals & Magazine | IEEE Xplore