随着网络通信技术的发展,各类行业数据积累量变得非常巨大。如何高效、安全的利用这些海量数据,为人们的生产生活提供更多的便利,成为摆在人们面前的一个重要问题。数据外包服务逐渐成为互联网服务的一个重要模式,在这种场景下,数据拥有者将数据托管给数据服务提供者,从而为用户提供高效的、专业的互联网服务。在数据外包服务场景下,数据拥有者和数据服务提供者处于不同的安全管理域,相互之间难以建立可靠的信任关系。特别地,数据服务提供者可能因为企业利益等因素擅自修改服务内容。例如,在基于位置的附近商家查询服务中,服务商为赚取广告费,不严格按照目标位置的远近进行排序,而是将付费商家的信息放在查询结果的前面。通常,假设数据服务商遵从半诚实模型,即数据服务商会严格执行通信协议,但会欺骗用户,提供不正确的查询结果。确保用户能够获取到基于原始数据的可信服务,是查询服务真实性验证问题的核心内容。基于位置的查询可以用空间多项式函数进行表达,本文研究空间多项式函数查询的真实性验证方法,使得查询用户在收到查询结果的同时,能够验证查询结果的可靠性(soundness)、正确性(correcness)和完整性(completeness)。即查询结果是基于数据拥有者的原始数据,满足查询条件,且未被篡改、未被遗漏。本文的主要工作罗列如下:(1)给出了空间多项式查询形式化描述以及该查询真实性验证问题描述,定义了查询验证的任务目标。进一步,设计了基于MR-Tree和维诺图(Voronoi Diagram)查询验证的数据结构,分析了该数据结构的验证性能。(2)针对空间多项式求和(SUM)查询问题,设计了可验证的空间多项式求和查询验证对象生成算法和查询结果验证方法。(3)针对空间多项式最大化(MAX)查询问题,设计了可验证的空间多项式最大化查询验证对象生成算法和查询结果验证方法。(4)针对(2)、(3)的验证方法设计了精细化的实验,验证了本文提出的验证方法在通信开销、计算开销方面的性能。