Page 451 - 《软件学报》2025年第8期

3874 软件学报 2025 年第 36 卷第 8 期

Update(w, op, ind)
Client:
5. v ← v +1
$
6. C[ind] ←− {0, 1} λ
$
7. A[v] ←− {0, 1} s
8. IF op = add THEN
λ
p
z
9. ST[w], B[v], P[v], E[v] ← {0, 1} , {0, 1} , {0, 1} , {0, 1} λ+t
10. SEND (A[v], B[v], E[v], P[v]) TO Server
11. ELSE
12. SEND (A[v], P[v]) TO Server
13. END IF
Server:
14. (BF add , BF del ) ← Dic[P[v]]
15. IF op = add then
16. IF BF add [A[v]] ≠ 1 THEN
17. BF add [A[v]] = 1
18. END IF
19. ELSE
20. IF BF del [A[v]] ≠ 1 && BF add [A[v]] = 1 THEN
21. BF del [A[v]] = 1
22. END IF
23. END IF
Search(Upd(q), cxTimeDB(q), cxDelHist(q))
Client:
24. ¯ w ← min(UpdCnt(q))

25. t w ← Tw[ ¯ w ]
26. (st i , c i ) ← XSet[ ¯ w ]
27. (v 0 , v 1 , …, v i ) ← Upd[q]
28. FOR (v j , ind) ∈ {cxTimeDB(q), cxDelHist(q)} DO
29. program H 1 : H 1 (t w ||c j ) ← A[v j ]
30. program H 2 : H 2 (t w ||ST[v j ]) ← B[v j ]
31. program H 3 : H 3 (t w ||st j ) ← E[v j ]♁(C[v j ]||ST[v j ])
32. program H 4 : H 4 (t w ||d') ← P[v j ]
33. END FOR
34. XSet[ ¯ w ] ← (ST[v i ], C[v i ])
35. SEND (Tw, P, ST[v i ]) TO Server

4 分析与评估

本节对 RFBC 进行分析和评估, 并同其他相关方案 ROSE [40] , 联合对称可搜索加密方案 ODXT [20] 及 BDXT [20]
进行比较. 本文所有实验均运行于 64 位的 Windows 10 操作系统的电脑 (16 GB 内存, CPU 为 Intel(R) Core(TM) i7-
12700F), 程序运行环境为 Python 3.9. 实验中伪随机函数 F 1 与 F 2 均采用 AES-128, 哈希函数 H 1 –H 4 均采用 SHA-