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

Algorithm 7

IntegrityVerify.

 Input:

 Output: void

1 bool IsVr = IsVerifyRound()

2 bool IsRd = IsResultReady()

3 if IsVr== true && IsRd==false then

4  Compensate()

5 else if IsVr== true && IsRd==true then

6  rlt = result_idx.find()

7  bool isMK = VerifyMerkleRoot(rlt., rlt.FID)

8  bool isSig = SigVerify(rlt.|| SHA256(rlt.), rlt., ))

9  if isMK && isSig then

10    throw

11  else

12    Compensate()

13  end

14 end