随着社会信息化地不断加深，无论是个人还是企业都坐拥着越来越多的数字化信息，信息量的持续增加加重了数据拥有者的管理负担，因此数据管理服务开始成为一种商业概念。随着云计算技术的发展，云平台的大容量、易部署、管理价格低廉等特点使之成为了数据存储服务的优秀提供商。云存储服务不但降低了数据拥有者的数据管理成本，而且提供了多种便捷的数据访问方式。但是如何在不可信的云服务商面前保证数据安全与隐私依然是亟待解决的一大问题，可搜索对称加密领域的研究试图解决这一难题。
　　可搜索对称加密要求在外包数据前进行加密，并支持用户在密文上查询其感兴趣的数据以此保证数据隐私。然而目前为止没有一种高效的可搜索对称加密方案可以同时实现次线性搜索时间、高效的更新、可验证性以及按需查询。为了解决这个问题，本文提出了VDERS系列方案，它们允许用户在动态的数据集中执行top-K查询，并且能够验证搜索结果的正确性。初始方案VDERS0借助可排序倒排索引和验证矩阵实现top-K查询方案的可验证性，并且支持新增文件操作；改进方案VDERS*在原方案的基础上增加了实质性的删除操作并且将原方案中空间复杂度为O(n·m)的验证矩阵压缩至复杂度仅为O(m)的验证数列，减小了通信开销并增加了空间利用率。在实验部分，本文使用真实邮件数据集对方案的计算时间和数据量进行了测试，证明了方案的高效性和可行性。
　　动态的可搜索对称加密方案被证明易受自适应性文件注入式攻击从而破坏查询隐私，而前向安全性质可以抵御这类攻击。前向安全要求方案不泄露与新增文件匹配的查询标识符。对此本文提出了一种具有前向安全的可搜索对称加密方案，它通过特殊设计的混合索引实现了次线性搜索时间与高效的更新操作。即使与现存的最先进的前向安全方案相比该方案仍然具有搜索时间上的优势，并且它的实质性删除操作和数组存储结构也使该方案较其它方案而言拥有更高的空间可重复利用率。