随着云计算的推广，越来越多的用户习惯于享用云平台提供的“无限”存储空间和强大的数据处理能力，但同时也存在着数据的安全隐患。可验证的搜索加密与外包计算都是云计算安全中的研究热点，对云计算安全的发展有重要作用。本课题将对公钥可搜索加密协议中的公开可验证问题展开研究，主要包括：.1.公开可验证的公钥可搜索加密协议的通用框架与安全性定义，协议的设计与分析，具体方案的编程实现与实用性分析。.2.公开盲验证的外包计算与公开可验证的公钥可搜索加密协议之间的关系，二者相互转化的条件和方法。.3.公开盲验证外包计算协议的设计与分析，由公开可验证的外包计算向公开盲验证外包计算转化的一般方法。. 本课题旨在为研究具有公开可验证性质的公钥可搜索加密协议的设计与分析尝试新的思路，同时优化外包计算的性质，进而为云平台下的计算搜索一体化提供理论支持。

With the universal popularity of cloud computing, more and more users are getting used to enjoying the “unlimited” storage space and powerful data processing capability provided by the cloud platform, while the risks of data security may also arise in this procedure. Verifiable searchable encryption and outsourcing computation are among research hotspots in the context of cloud computing security. They are important to the development of cloud computing security. This project will study the problems on public verifiability of Public key Encryption with Keyword Search (PEKS), which mainly includes: .1. the general framework and security definitions of publicly verifiable PEKS (PV-PEKS), the design and analysis of PV-PEKS, and the programmatic implementation and practical analysis of concrete schemes, .2. the relationship between publicly blind verifiable computation and PV-PEKS, the conditions and methods for transformation between them,.3. The design and analysis of publicly blind verifiable computation and the general methods for transformation from publicly verifiable computation to publicly blind verifiable computation.. This project aims to find new ideas and approaches for the study and design of PV-PEKS. We also expect to optimize the properties of outsourcing computation protocols and then provide a theoretical support for the integration of computing and searching operations in the cloud platform.