Dynamic Outsourced Proofs of Retrievability Enabling Auditing Migration for Remote Storage Security

Algorithm 4

Algorithm for client to verify the result of batch updates.

Verify_Updates. Input parameters is client local metadata,

update operations set are generated by client herself, , , are provided

by CSS as computed in Algorithm 3. This algorithm outputs true if the batch updates are successful, or

false otherwise.

(1)extract from as in Algorithm 3;

(2)if  Batch_Verify  then

(3)construct partial bv23Tree with as the root hash;

(4)else

(5)return  ;

(6)end if

(7)perform each update operation of   upon above partial bv23Tree by the same transformations as

in Algorithm 3, and then compute the final state root hash ;

(8)if  then

(9)replace local with , return  ;

(10)else

(11)return  ;

(12)end if