BFR-SE: A Blockchain-Based Fair and Reliable Searchable Encryption Scheme for IoT with Fine-Grained Access Control in Cloud Environment

Algorithm 8

CorrectnessVerify.

 Input:

 Output: void

1 bool IsVr = IsVerifyRound()

2 bool IsRd = IsResultReady()

3 ifIsVr== true && IsRd==falsethen

4  Compensate()

5 else ifIsVr== true && IsRd==truethen

   s = search_idx.find()

6  rlt = result_idx.find()

7  bool isCv = Test(s.TOK,rlt.)

9  ifisCv == false then

12    Compensate()

13  end

14 end