大数据时代,隐私泄漏问题成为了社会发展的隐患。加强隐私保护,既需要公众提高对个人隐私的保护意识,也需要强有力的隐私保护技术予以支撑。可搜索加密（Searchable Symmetric Encryption,SSE）作为一种数据利用与共享的重要手段,既能在查询过程中保护数据所有者的数据隐私,又能保留数据的可查询性质,具有非常重要的研究意义。作为实现密文检索的重要工具,可搜索加密的基本工作过程是,给定上传数据集,客户端构建用来记录关键字与匹配文档集的索引,并将其利用密码学原语加密。随后使用给定的令牌,完成在加密状态下实现对索引与数据集的搜索与更新操作。近年来的研究专注于可搜索加密在功能、效率与安全性上的完善,比如实现能够插入和删除操作的动态可搜索加密;提供更强的安全特性如前向安全、后向安全与可验证性等;以及方案在搜索更新效率、存储容量、I/O效率方面的优化。作为安全性和效率之间的权衡,SSE在搜索中往往允许泄露一些信息,其具体定义源于密码学中相关的泄露函数。近年来对泄露滥用攻击的研究表明,在掌握一定先验知识的情况下,敌手可以通过SSE中的现存的泄露函数分析出相应的查询内容。这些泄露既影响数据在云端存储的安全性,也可能会被敌手恶意使用获取个人和企业的隐私信息。基于此,如何压缩可搜索加密方案的泄露,同时实现较高效的搜索和更新效率,成为研究者近年来关注的焦点。与此同时,云服务器可能会向用户提供不正确的查询结果。为了防御恶意模型下的敌手行为,需要设计可验证的可搜索加密方案,识别对查询结果的篡改或伪造,保证返回数据完整性。为了解决以上问题,本文针对可搜索加密方案的泄露压缩与可验证性进行研究,主要贡献如下:1.对动态可搜索加密方案中存在的泄露函数进行说明,引入了新的泄露模式容量模式。给出了容量模式安全定义,梳理了目前提出的泄露滥用攻击与容量泄露保护方法。随后基于差分隐私提出了新的填充方式差分隐私填充（Differential Privacy Padding,DPP）,设计了它在方案中的动态使用机制。2.提出了一个多服务器框架下的动态可搜索加密方案MDSSE,方案使用第三方服务器存储更新,并且使用DPP进行填充。对现有安全泄露进行改造,定义了新的泄露函数,随后证明了方案的容量泄露在搜索和更新过程中满足差分隐私安全,并且方案同时满足前向安全和后向安全性。实验表明我们的方案能够在抵抗容量泄露攻击的同时具有更低的填充率和更好的防御效果。3.提出了可验证的前向与后向安全方案VMDSSE。在继承前一方案良好的搜索更新效率与安全保证的基础上,验证查询结果的正确性与完整性。方案基本思想是为关键字设置聚合消息认证码作为验证的唯一标识,使用可更新消息认证码实例化方案,利用其周期间增量更新的性质在抵御重放攻击的同时高效实现验证标识的更新,提高验证效率,实现方案的可验证性。MDSSE的创新之处在于能够同时满足动态容量隐藏与前向后向安全,并且具有良好性能表现;VMDSSE是少有能够同时满足前向安全、type-Ⅱ后向安全与可验证性的方案。