文档介绍：: .
西安电子科技 3. 贵州大学密码学与数据安全研究所，贵州 贵阳 550025；
4. 西安电子科技大学 计算机科学与技术学院，陕西 西安 710071)
摘要：针对传统单服务器可搜索加密方案检索效率不高以及服务器单点故障问题，基于 Shamir-秘密共享的思想，
结合智能合约，构造了一个支持结果验证的多云服务器可搜索加密方案。首先，使用 Shamir-秘密共享技术，将数
据拆分成多个不同的数据块，分别加密存储在各个独立的服务器上，构造一个多云服务器可搜索加密模型，防止服
务器单点故障导致数据大量丢失的问题，实现数据安全分布存储和高效查询；其次，利用智能合约自动执行的特点，
构造查询结果的验证方法，通过签订合约来实现查询结果的验证，解决半可信的云服务器模型下返回结果的正确性
难以保证的问题。另外，引入分块矩阵，对更新的数据构造子矩阵，以降低更新文档后查询的计算开销，并且通过
添加虚假关键字信息，防止云服务器的猜测攻击，保证更新数据的安全。最后，通过安全性分析和实验分析表明，
本方案在有效保护数据隐私的同时，与其他方案相比减少了索引生成时间，并且检索效率更高。
关键词：可搜索加密；智能合约；多服务器；Shamir-秘密共享；分块矩阵
中图分类号： 文献标识码：A
Multi-server dynamic searchable encryption scheme supporting result
verification
HE Yu 1, 2, TIAN Youliang 1, 2, 3, WAN Liang 1, 2, YANG Li 4
(1. College of Computer Science and Technology, Guizhou University, Guiyang 550025, China;
2. State Key Laboratory of Public Big Data, Guizhou University, Guiyang 550025, China;
3. Institute of Cryptography and Date Security, Guizhou University, Guiyang 550025, China;
4. School of Computer Science and Technology, Xidian University, Xi’an 710071, China)