A Probabilistic Approach for Secure and Verifiable Computation of kNN Queries in Cloud