Research Article

MUSE: An Efficient and Accurate Verifiable Privacy-Preserving Multikeyword Text Search over Encrypted Cloud Data

Algorithm 3

.
Input: is a set of the result documents, VO is the verification object from CS
and is the number requested documents
Output: Whether is correct and complete
Variables: is a set variable for storing document digests
Procedures:
(1) IF    THEN
(2) RETURN FALSE; // is incomplete
(3) ELSE
(4) FOR EACH    DO
(5) Add into ;
(6) END FOR
(7) IF    THEN
(8) RETURN  FALSE; // is incorrect
(9) END IF
(10) END IF
(11) RETURN  TRUE; // is complete and correct