A Secure And Verifiable Computation For K-Nearest Neighbor Queries In Cloud