[发明专利]一种数据外包环境下的查询结果验证方法

权利要求书

1.一种数据外包环境下的查询结果验证方法，其步骤为：

1)数据源端构造存储到外包服务器端的数据集D的Hash表；其中数据集D为若干XML文档树构成的文档树；

2)客户端将查询请求分别发送到数据源端和外包服务器端；

3)数据源端查询该Hash表中满足查询请求的XML文档树结构根节点的散列值H_D，并通过安全通道将其发送给客户端；

4)外包服务器端根据查询请求返回查询处理结果R’给客户端，并提供可计算出该H_D的验证数据S；

5)客户端根据散列函数、返回数据R’以及验证数据S计算出H_D’，并检验H_D’＝H_D是否成立；若成立则返回结果正确，否则错误。

2.如权利要求1所述的方法，其特征在于构造所述数据集D的Hash表的方法为：

1)初始化一路径表PathTable，将数据集D自根节点开始的每一路径作为路径表PathTable中的一行；

2)深度周游D并对D中所有子树从小到大进行编码，将编码作为每棵子树的标识；

3)从路径表PathTable中查找每棵子树的入口，并把相应子树的标识按照编码先后顺序记录在路径表PathTable的相应行；

4)将路径表PathTable每行所包含的标识作为标识组，计算每一标识组的hash值并把该值记录在路径表PathTable的相应行。

3.如权利要去2所述的方法，其特征在于所述路径表PathTable每行包含的信息有：路径、与路径对应的子树编码按照文档序的排列、MHT值。

4.如权利要求2或3所述的方法，其特征在于所述外包服务器端根据查询请求返回查询处理结果R’给客户端，并提供可计算出该H_D的验证数据S的方法为：

1)在路径表PathTable中查找所有满足查询请求的路径；

2)对于每一条符合要求的路径，返回一三元组(labelpath、subtrees、hashpath)；其中，labelpath为符合要求路径的全路径、subtrees为路径表PathTable中与符合要求路径对应的行中所有标识对应的子树序列、hashpath为从符合要求路径对应的叶节点开始到计算根节点hash值路径上用到的所有的hash值形成hash路径；

3)将返回的三元组(labelpath、subtrees、hashpath)列表中的labelpath、subtrees作为返回查询结果R’，hashpath作为验证数据S。

5.如权利要求4所述的方法，其特征在于数据源端查询所述散列值H_D的方法为：

1)在路径表PathTable中查询所有满足查询请求的路径；

2)对于所有符合要求的路径，如果存在子树序列，则为每个子树构建DOMHASH并基于所有子树的DOMHASH构造MHT树，将该MHT树根的值放入一HashSet集合中；

3)对HashSet构建MHT树，求出根节点MHTcheck；

4)对MHTcheck签名得到所述散列值H_D。

6.如权利要求5所述的方法，其特征在于所述计算出H_D’的方法为：

1)对于外包服务器端返回的每个三元组(labelpath、subtrees、hashpath)；

a)计算查询结果subtrees中每个子树的DOMHASH；

b)用a)步骤得到的DOMHASH构建MHT，计算该MHT根节点的hash值；

c)基于b)中的hash值和hashpath，计算labelpath对应的MHT树的根节点hash值H_d；

2)对所有三元组生成的hash值构成的序列，构建MHT树并得到根节点的hash值MHTT，利用签名函数得到H_D’。

7.如权利要求6所述的方法，其特征在于所述数据源端将HashSet集合返回给客户端；客户端将计算出的每一hash值H_d，核查当前H_d∈HashSet是否成立，若成立则该返回结果正确，否则返回结果不正确。