软件学报

作者：张文琪，李雄，尹智明，梁伟，黄可，张小松

单位：张文琪，电子科技大学 计算机科学与工程学院, 四川 成都 61173111,李雄，电子科技大学 计算机科学与工程学院, 四川 成都 611731;电子科技大学 (深圳) 高等研究院, 广东 深圳 51811002,尹智明，湖南科技大学 计算机科学与工程学院, 湖南 湘潭 41120103,梁伟，湖南科技大学 计算机科学与工程学院, 湖南 湘潭 41120104,黄可，电子科技大学 计算机科学与工程学院, 四川 成都 61173105,张小松，电子科技大学 计算机科学与工程学院, 四川 成都 611731;电子科技大学 (深圳) 高等研究院, 广东 深圳 51811006

关键词：对称可搜索加密;前向隐私;后向隐私;鲁棒性;联合搜索

基金：国家自然科学基金 (62332018, 62072078, 62271128); 四川省自然科学基金 (2022NSFSC0550)

动态对称可搜索加密允许用户安全地搜索和动态更新存储在半可信云服务器中的加密文档, 近年来备受关注. 然而, 现有多数对称可搜索加密方案仅支持单关键词搜索, 无法在实现联合搜索的同时满足前向和后向隐私. 此外, 多数方案不具有鲁棒性, 即无法处理客户端重复添加或删除某个关键词/文件标识符对或删除不存在的关键词/文件标识符对等不合理更新请求. 针对上述挑战, 提出一个鲁棒的前后向隐私联合动态对称可搜索加密方案RFBC. 在该方案中, 服务器为每个关键词建立两个布隆过滤器, 分别用于存储所要添加和删除的关键词/文件标识符对的相关哈希值. 当客户端发送更新请求时, 服务器利用两个布隆过滤器进行判断, 过滤不合理请求, 以满足方案的鲁棒性. 此外, 利用多关键词中最低频关键词的状态信息, 结合布隆过滤器与更新计数器, 筛选掉不包含其余关键词的文件标识实现联合查询. 通过定义方案的泄露函数, 经过一系列的安全性游戏证明RFBC支持前向隐私与Type-III后向隐私. 实验分析表明相较于相关方案, RFBC较大幅度提高了计算和通信效率. 具体来说, RFBC更新操作的计算开销分别为ODXT和BDXT的28%和61.7%, 搜索操作的计算开销分别为ODXT和BDXT的21.9%和27.3%, 而搜索操作的通信开销分别为ODXT和BDXT的19.7%和31.6%. 而且, 当不合理更新的比例逐渐增加时, 搜索效率的提升明显高于BDXT与ODXT.

来源：2025年第8期

《软件学报》期刊编辑部

查看软件学报杂志2025年第8期