This is an implementation for the single property verification and multiple properties verification schemes in the paper "Securing Broker: Cheating-Free Approach for Cloud Service Selection"