一种云环境下高效的隐私保护密文连接访问操作验证方法

一种云环境下高效的隐私保护密文连接访问操作验证方法
【技术领域】
[0001] 本发明属于可信数据管理领域，设及一种数据验证方法，具体设及一种云环境下 高效的隐私保护密文连接访问操作验证方法。
【背景技术】
[0002] 安全云服务环境下，数据拥有者在本地可信前端对数据加密处理后外包给云服务 提供商进行存储、管理和维护。数据加密实现了数据私密性保护，但是仍然无法保证"不可 信"云服务提供商不会恶意修改、丢失用户数据，或在用户访问时返回不完整的结果数据。 因此，提供一种数据验证方法，确保用户访问操作结果数据的正确性是非常必要的。
[0003] 云环境下密文连接访问操作验证有W下两方面需求；一方面，为了保证云系统的 可用性，首先要求验证方法是高效的，具体表现在；验证数据结构构建时间效率、云端验证 对象生成时间效率、客户端结果验证时间效率、客户端与云端间通信开销（即验证对象的 空间开销）。另一方面，为了确保验证数据正确性的同时，不会导致数据隐私信息的泄露，贝U 要求验证方法是安全的。主要表现为验证结构自身和验证过程不会泄露数据隐私。
[0004] 因此，一种能支持多数据表上连接访问操作且兼具隐私保护特性和时空高效性的 密文连接访问操作验证方法将在云环境下安全数据外包管理中起到至关重要的作用。
[0005] 目前，研究者们主要提出了两类方法来保障用户访问结果数据的正确性。第一类 方法通过引入第=方权威机构和面向公众的云端密文数据集正确性审计，通过即时随机抽 样审计云端数据的正确性。然而，该方法仍无法防止恶意云服务提供商在用户访问时返回 不真实、不完整或不新颖的结果密文数据。另一类方法通过客户端执行对访问结果数据的 正确性验证，彻底保障结果数据的真实性、完整性和新颖性，然而该类验证方法要求客户端 在每次数据访问时执行结果数据的验证任务从而造成较大的验证开销。
[0006] 上述面向访问操作结果数据的正确性验证方法都主要集中于简单数据操作，如单 个数据表上的范围查询操作、聚集查询操作、Top-k查询操作等。多关系数据表上的连接访 问操作作为数据库中重要数据访问操作类型，由于其操作方式的复杂性和操作结果的特殊 性，使得其结果正确性的验证具有更大的挑战。对于多关系数据表的连接访问操作，其结果 数据分布相关于操作数据表中的具体记录值。访问用户无法确定结果密文数据的具体值 域，因而无法应用现有方法简单执行其正确性验证。Yin等人第一次提出了面向多关系数据 表连接访问操作的结果正确性精确验证方法，然而该方法一方面只支持明文数据的连接访 问操作验证，未考虑面向密文数据连接访问操作的隐私保护验证。另一方面，该方法的基本 思想是客户端验证结果数据时重现云端的连接操作，从而造成较大的验证对象通信开销和 客户端验证计算开销。综上所述，目前的密文连接访问操作验证方法均无法满足安全云存 储服务环境下的隐私保护需求和实际云系统应用价值。

【发明内容】

[0007] 为了解决【背景技术】中存在的上述技术问题，本发明提供了一种选择条件连接访问 操作的验证方法SJVS(SelectedJoinVerificationScheme)。
[000引本发明所采用的技术方案是：一种云环境下高效的隐私保护密文连接访问操作验 证方法，其特征在于，包括W下步骤：
[0009] 步骤1 ;数据拥有者在客户端加密关系数据表R和关系数据表S，同时构建相应的 嵌入式MHT验证结构并签名，最后向云端发布密文关系数据表旬、Cs和验证数据结构；
[0010] 步骤2;访问用户提交条件连接操作请求到云端，云端返回结果密文数据，同时根 据访问请求和验证数据结构生成验证对象并返回；
[0011] 步骤3 ;访问用户在客户端利用验证对象对访问结果进行正确性验证。
[0012] 作为优选，步骤1的具体实现包括W下子步骤：
[0013] 步骤1. 1 ;数据拥有者执行关系数据表R和关系数据表S在连接属性上的连接操 作预计算，得到其连接操作结果数据表RS;
[0014] 步骤1. 2 ;从RS中获得表R条件属性R.a;上被连接操作命中的字段值r1，将其去 重、排序后定义为
[00巧]步骤1. 3 ;W构建嵌入式MHT验证结构T胃中外层MHT的叶子节点；
[0016] 步骤1. 4 ;从叶子节点自底向上构建MHT--Te"t，1和r分别表示节点V的左右孩 子，符号II表示字符串串联操作，符号U表示内层MHT的合并操作，非叶子节点的构建公式 为：
[0017]
(式壹）；
[0018] 步骤1. 5 ;对于外层MHT，签名根节点V的V.value和V.data;对于内层MHT，签名 根节点U的U.value、U.data和U.numW及所有叶子节点和中间节点U的U.num;
[0019] 步骤1.6;数据拥有者用加密密钥对明文关系数据表进行加密，同条件属性R. 的保序哈希值构成密文关系数据表；最后向云端发布密文关系数据表和签名的验证数据结 构Temht。
[0020] 作为优选，步骤1. 3的具体实现法包括W下子步骤：
[0021] 步骤1. 3. 1 ; 中的每一个字段值r;作为一个叶子节点，则Temht共有。，个 叶子节点；
[0022] 步骤1.3.2;对于每一个叶子节点Vi，赋予条件属性字段值的保序哈希值 hoph)，良PVi.value=hoph);
[0023] 步骤1. 3. 3 ;对于每一个叶子节点Vi，赋予表R中ri所在记录数据（表示为 (rid,R.a。. . .，R.aj)的摘要，即Vi.data=h(ridIIR.ajI. . .IIR.a*);
[0024] 步骤1. 3. 4 ;对于每一个叶子节点Vi，获得所在记录数据与S执行连接操作的结 果记录数据集，并从中还原属于原始表S的记录数据S,;(按照条件属性S. 字段 值排序），W&生成内层MHT，记为Vi.imht。
[0025] 作为优选，步骤1. 3. 4中构建嵌入式MHT验证结构中内层血町的具体实现包 括W下子步骤：
[0026] 步骤1. 3. 4. 1 ;S,中的每一个字段值作为一个叶子节点，则内层MHT共有#&个叶 子节点；
[0027] 步骤1. 3. 4. 2 ;对于每一个叶子节点U，赋予条件属性字段值sj的保序哈希值 h〇p(Sj)，即U.value=h〇p(Sj);
[002引步骤1. 3. 4. 3 ;对于每一个叶子节点U，赋予&中Sj.所在记录数据（表示为 (sid,S.a。. . .，S.a*))的摘要，即U.data=hkidIIS.ajI. . .IIS.a*);
[0029]步骤1. 3. 4. 4;对于每一个叶子节点u，式中Sj所在记录数据的个数记为u.num; >2时，利用式壹的原理自底向上构建MHT--Vi.imht。
[0030] 作为优选，步骤2的具体实现包括w下子步骤：
[0031] 步骤2. 1 ;访问用户在客户端提交对表R和表S的选择条件的连接操作请求，云端 根据用户请求对密文数据表执行连接操作，获得密文关系数据表旬被连接操作命中的密文 记录数据集；
[0032] 步骤2. 2 ;将密文记录数据集对应到验证结构Tcmht中的叶子节点，找到其还原根节 点所需的最少节点集，将节点集中每一个节点的V.data添加到验证对象V〇ii;
[0033]步骤2. 3;扩展密文记录数据集在验证结构Tcmht中对应的叶子节点的左右边界 节点，找到扩展后的叶子节点还原根节点所需的最少节点集，将节点集中每一个节点的 V.valueW及左右边界节点的保序哈希值添加到验证对象V〇i2;
[0034]步骤2. 4;对于T胃T的根节点V，分别添加签名的V.data和V.value到验证对象 V〇ii和V〇i2 中；
[0035] 步骤2. 5 ;云端根据用户请求对密文数据表执行连接操作，获得密文关系数据表Cs 被连接操作命中的密文记录数据集，并将其对应到内层MHT的叶子节点，利用步骤2. 2至步 骤2. 4的原理构建验证对象V〇2i和VO22;
[0036] 步骤2. 6 ;将表Cs被连接操作命中的密文记录数据集对应到内层MHT中的叶子节 点，找到能覆盖该些节点所需的最少节点集，并添加该些节点到验证对象V〇3中；
[0037] 步骤2. 7 ;云端返回客户端选择条件连接操作的结果密文数据表和验证对象VO， VO= {V〇i={VO…VO。}，V〇2={VO21，V〇22}，VO3}。
[003引作为优选，步骤3的具体实现包括W下子步骤：
[0039] 步骤3. 1 ;客户端获得密文结果数据表RS和验证对象VO;解密密文结果数据表得 到明文结果数据表；客户端根据RS分解出其对应于两个原始关系表R和S的记录数据集 R'、S'（R'GR，S'G巧；< br>[0040] 步骤3. 2 ;客户端根据R'和VO。中所提供的节点哈希值验证数据集R'的真实性； 还原了胃根节点V的哈希值V.data,将还原的V.data与V011中签名的根节点哈希值比较， 相同则验证通过；否则，结果数据不正确；同理根据S'和V〇2i中所提供的节点哈希值验证 数据集S'的真实性；
[0041] 步骤3. 3 ;客户端获取R'中条件属性上的属性字段值，检查是否在V0。中的边界 节点哈希值化。。(1^，11。。(1^)}范围内；然后根据1?'和￥〇12中所提供的节点哈希值还原1'"" 根节点V的哈希值V.value,并利用V〇i2中签名根节点哈希值验证其正确性，W此验证云端 是否正确执行了在密文数据表旬上的选择条件操作；同理，根据V022验证云端是否正确执 行了在密文数据表Cs上的选择条件操作；
[0042] 步骤3. 4 ;对于V〇3中的每一个节点U，客户端首先解密U.num得到其明文值，并 利用签名判断其真实性；若是真实的，则计算访问结果记录个数Num;Num=Num+u.num;最 后，客户端判断明文结果数据表RS中的记录数是否等于Num;若相等，则说明选择连接操作 结果是真实完整的；否则，验证不通过。
[0043] 本发明通过扩展MHT(Merkl細ashTree)构建嵌入式MHT验证结构，支持单数据表 上简单访问操作验证和多密文数据表上任意属性上任意选择条件连接访问操作验证。并在 保证验证隐私保护和验证结果准确性的同时保持较低验证时空开销。
【附图说明】
[0044] 图1 ;是本发明实施例的流程框图。
[0045] 图2 ;是本发明实施例的关系数据表和关系数据表示例图。
[0046] 图3 ;是本发明实施例的关系表访问操作的MHT验证结构图。
[0047] 图4 ;是本发明实施例的针对关系表和上连接访问操作的嵌入式MHT验证结构图。
【具体实施方式】
[0048] 为了便于本领域普通技术人员理解和实施本发明，下面结合附图及实施例对本发 明作进一步的详细描述，应当理解，此处所描述的实施示例仅用于说明和解释本发明，并不 用于限定本发明。
[0049] 请见图1，本发明提供的一种云环境下高效的隐私保护密文连接访问操作验证方 法，包括W下步骤：
[0050] 步骤1 ;数据拥有者在客户端加密关系数据表R和关系数据表S，同时构建相应的 嵌入式MHT验证结构并签名，最后向云端发布密文关系数据表旬、Cs和验证数据结构；
[0051]请见图2,是本实施例的关系数据表R和关系数据表S示例图，步骤1的具体实现 包括W下子步骤：
[0化2] 步骤1. 1 ;数据拥有者执行关系数据表R和关系数据表S在连接属性ai上的连接 操作预计算，得到其连接操作结果数据表RS;
[005引步骤1. 2 ;从RS中获得表R条件属性a,上被连接操作命中的字段值r;，将其去重、 排序后定义为35。2，此例为{131(，151(，241(，3化};
[0化4] 步骤1. 3 ;WRSg2中的字段值构造嵌入式MHT验证结构TCMHT中外层MHT的叶子节 点，记为Vl，V2，v；3，V4;并且Vi.value=h。p(;ri)，Vi.data=h(;rid||R.al||...||R.at)，即Vl. value=h〇p(13K)，V2.value=h〇p(15K)，V3.value=h〇p(24K)，V4.value=h〇p(31K)，Vi.data =h(ridlII3II. .IIan)，V2.data=h(ridsII8II. .IIan)，V3.data=h(rid4II9II. .IIan)， V4.data=h(rid5II10II. .IIan);同时获得r厮在记录数据与S执行连接操作的结果记录 数据集，并从中还原属于原始表S的记录数据（按照条件属性S.aj字段值SJ排 序），生成内层MHT-Vi.imht的叶子节点Ui，时，由叶子节点向上构建Vi.imht，构建方法同外层血町，区别在于Vi.imht中节点U由U.value、U.data和U.num构 成，U.num表示中Sj.所在记录数据的个数；
[005引步骤1. 4 ;请见图3,是关系表访问操作的MHT验证结构图，Vi，V2,Vg，V4作为叶子 节点自底向上构建MHT--T胃T。Vs、Ve为中间节点，V,为根节点。
[0056] Vg.value=h〇p(Vi.valueIIV2.value);
[0057] Vs. data = h(Vi.dataIIV2.data);
[0058] V5. imht = Vi.imhtUV2.imht;
[0059] Vg.value=h〇p(V3.valueIIV4.value);
[0060] Vg.data=h(V3.dataIV4.data)；
[0061] Vs.imht=V3.imhtUV4.imht;
[0062] V7.value=h〇p(V5.valueIIVg.value);
[0063] V7. data = h(V5.dataIIVg.data);
[0064] V7. imht = V5.imhtUVg.imht;
[00化]步骤1. 5 ;对于外层MHT，签名根节点V7的V7.value和V7.data;对于内层MHT，签 名根节点U的U.value、U.data和U.numW及所有叶子节点和中间节点U的U.num。至此 验证数据结构Te"t构建完成，TEMHT结构如附图4所示；
[0066]步骤1.6;数据拥有者用加密密钥对明文关系数据表进行加密，同条件属性32的 保序哈希值构成密文关系数据表；最后向云端发布密文关系数据表和签名的验证数据结构 T皿T。
[0067] 步骤2 ;访问用户提交条件连接操作请求到云端，云端返回结果密文数据，同时根 据访问请求和验证数据结构生成验证对象并返回；具体实现包括W下子步骤：
[0068] 步骤2.1;访问用户在客户端提交选择条件的连接操作请求，例如 巧5凶為化K 叫而)物斜化-S，云端根据用户请求对密文数据表执行连接操作，获 得旬被连接操作命中的密文记录数据集，并从密文记录数据集中获得保序哈希值记为 化。。(241()，11。。(151()};
[00例步骤2. 2 ;将化。p(24K)，hw(15K)}对应到验证结构Te"t中的叶子节点，找到其还 原根节点所需的最少节点集，此例为{vj，将节点集中每一个节点的V.data添加到验证结 构V0ii;
[0070] 步骤2. 3 ;扩展化。p(24K)，hw(15K)}在验证结构Temht中对应的叶子节点的左右边 界节点，找到扩展后的叶子节点还原根节点所需的最少节点集，此例为{%}，将节点集中每 一个节点的V.valueW及左右边界节点的保序哈希值添加到验证结构V〇i2;
[00川步骤2. 4 ;对于Temht的根节点V7,分别添加签名的的V7.value和V7.data到V0ii和VO。中；
[0072] 步骤2. 5 ;云端根据用户请求对密文数据表执行连接操作，获得Cs被连接操作 命中的密文记录数据集，获得其条件属性33上密文字段值对应的保序哈希值h。。(39材， h。。(30K))，利用步骤2. 2至步骤2. 4的原理构建验证对象V〇2i和VO22;
[007引步骤2.6;将h。。(39K)，h。。(30K)对应到内层MHT中的叶子节点，找到其还原根节点 所需的最少节点集，此例为{vg.imht.U2,V4.imht.1I2}，并添加该些节点到验证结构V03中；
[0074] 步骤2. 7 ;云端返回客户端选择条件连接操作的结果密文数据表和验证对象VO= (V〇l= {V0i1，V0i2}，V02= |V0 21，V022}，V03}。
[0075] 步骤3 ;访问用户在客户端利用验证对象对访问结果进行正确性验证。具体实现 包括w下子步骤：
[0076] 步骤3. 1;客户端获得密文结果数据表RS和验证对象VO;解密密文结果数据表得 到明文结果数据表；客户端根据RS分解出其对应于两个原始关系表R和S的记录数据集 R'、S'（R'GR，S'G巧；
[0077] 步骤3. 2;客户端根据R'和VO。中所提供的节点哈希值验证数据集R'的真实性； 还原T胃T根节点V的哈希值V.data,将还原的V.data与V011中签名的根节点哈希值比较， 相同则验证通过；否则，结果数据不正确；同理根据S'和V〇2i中所提供的节点哈希值验证 数据集S'的真实性；
[007引步骤3. 3 ;客户端获取R'中条件属性上的属性字段值，检查是否在V0。中的边界 节点哈希值化。。(1^，11。。(1^)}范围内；然后根据护和￥012中所提供的节点哈希值还原1'"" 根节点V的哈希值V.value,并利用V0i2中签名根节点哈 希值验证其正确性，W此验证云端 是否正确执行了在密文数据表旬上的选择条件操作；同理，根据V0 22验证云端是否正确执 行了在密文数据表Cs上的选择条件操作；
[0079] 步骤3. 4 ;对于V〇3中的每一个节点U，客户端首先解密U.num得到其明文值，并 利用签名判断其真实性；若是真实的，则计算访问结果记录个数Num;Num=Num+u.num;最 后，客户端判断明文结果数据表RS中的记录数是否等于Num;若相等，则说明选择连接操作 结果是真实完整的；否则，验证不通过。
[0080] 应当理解的是，本说明书未详细阐述的部分均属于现有技术。
[0081] 应当理解的是，上述针对较佳实施例的描述较为详细，并不能因此而认为是对本 发明专利保护范围的限制，本领域的普通技术人员在本发明的启示下，在不脱离本发明权 利要求所保护的范围情况下，还可W做出替换或变形，均落入本发明的保护范围之内，本发 明的请求保护范围应W所附权利要求为准。
【主权项】
1. 一种云环境下高效的隐私保护密文连接访问操作验证方法，其特征在于，包括以下 步骤： 步骤1 :数据拥有者在客户端加密关系数据表R和关系数据表S，同时构建相应的嵌入 式MHT验证结构并签名，最后向云端发布密文关系数据表CK、Cs和验证数据结构； 步骤2 :访问用户提交条件连接操作请求到云端，云端返回结果密文数据，同时根据访 问请求和验证数据结构生成验证对象并返回； 步骤3 :访问用户在客户端利用验证对象对访问结果进行正确性验证。2. 根据权利要求1所述的云环境下高效的隐私保护密文连接访问操作验证方法，其特 征在于，步骤1的具体实现包括以下子步骤： 步骤I. 1 :数据拥有者执行关系数据表R和关系数据表S在连接属性上的连接操作预 计算，得到其连接操作结果数据表RS ; 步骤1. 2 :从RS中获得表R条件属性R. %上被连接操作命中的字段值r i，将其去重、排 序后定义为夂; 步骤1. 3 :以^&.",构建嵌入式MHT验证结构Temht中外层MHT的叶子节点； 步骤1. 4 :从叶子节点自底向上构建MHT--Temht, 1和r分别表示节点V的左右孩子，符 号I I表示字符串串联操作，符号U表示内层MHT的合并操作，非叶子节点的构建公式为：步骤1. 5 :对于外层MHT，签名根节点V的V. value和V. data ;对于内层MHT，签名根节 点u的u. value、u. data和u. num以及所有叶子节点和中间节点u的u. num ; 步骤1. 6 :数据拥有者用加密密钥对明文关系数据表进行加密，同条件属性R. %的保 序哈希值构成密文关系数据表；最后向云端发布密文关系数据表和签名的验证数据结构 TfflHT °3. 根据权利要求2所述的云环境下高效的隐私保护密文连接访问操作验证方法，其特 征在于，步骤1. 3的具体实现法包括以下子步骤： 步骤I. 3. I : 中的每一个字段值&作为一个叶子节点，则Temht共有个叶子 节点； 步骤1. 3. 2 :对于每一个叶子节点Vi，赋予条件属性字段值ri的保序哈希值h % (ri)，即 Vi. value = hop Cri)； 步骤I. 3. 3 :对于每一个叶子节点Vi,赋予表R中!Ti所在记录数据（表示为{rid, R. a1; · · ·，R. at})的摘要，即 Vi. data = h (rid I I R. ai I I · · · I I R. at); 步骤I. 3. 4 :对于每一个叶子节点Vi，获得^所在记录数据与S执行连接操作的结果记 录数据集，并从中还原属于原始表S的记录数据\ (按照条件属性S. a」字段值排 序），以*^生成内层MHT，记为Vi. imht。4. 根据权利要求3所述的云环境下高效的隐私保护密文连接访问操作验证方法，其特 征在于，步骤I. 3. 4中构建嵌入式MHT验证结构Temht中内层MHT的具体实现包括以下子步 骤： 步骤1. 3. 4. 1 : &中的每一个字段值作为一个叶子节点，则内层MHT共有#弋个叶子节 占. 步骤1. 3. 4. 2 :对于每一个叶子节点u，赋予条件属性字段值的保序哈希值h % (Sj)， 艮P U. value = Iiop(Sj)； 步骤I. 3. 4. 3 :对于每一个叶子节点u，赋予&中Sj所在记录数据（表示为（sid, S. a1; · · ·，S. at))的摘要，即 U. data = h (sid I I S. B11 I · · · I I S. at); 步骤I. 3· 4· 4 :对于每一个叶子节点u，&中Sj所在记录数据的个数记为u. num ; 22时，利用式壹的原理自底向上构建MHT--Vi. imht。5. 根据权利要求1所述的云环境下高效的隐私保护密文连接访问操作验证方法，其特 征在于，步骤2的具体实现包括以下子步骤： 步骤2. 1 :访问用户在客户端提交对表R和表S的选择条件的连接操作请求，云端根据 用户请求对密文数据表执行连接操作，获得密文关系数据表Ck被连接操作命中的密文记录 数据集； 步骤2. 2 :将密文记录数据集对应到验证结构Temht中的叶子节点，找到其还原根节点所 需的最少节点集，将节点集中每一个节点的V. data添加到验证对象VO11; 步骤2. 3 :扩展密文记录数据集在验证结构Temht中对应的叶子节点的左右边界节点，找 到扩展后的叶子节点还原根节点所需的最少节点集，将节点集中每一个节点的V. value以 及左右边界节点的保序哈希值添加到验证对象VO12; 步骤2. 4 :对于1^"的根节点V，分别添加签名的V. data和V. value到验证对象VO VO12 中； 步骤2. 5 :云端根据用户请求对密文数据表执行连接操作，获得密文关系数据表(；被 连接操作命中的密文记录数据集，并将其对应到内层MHT的叶子节点，利用步骤2. 2至步骤 2. 4的原理构建验证对象VO2JP VO 22; 步骤2. 6 :将表Cs被连接操作命中的密文记录数据集对应到内层MHT中的叶子节点，找 到能覆盖这些节点所需的最少节点集，并添加这些节点到验证对象￥03中； 步骤2. 7 :云端返回客户端选择条件连接操作的结果密文数据表和验证对象V0, VO = (VO1= {v〇n, VO1J, VO2= {V021, VO2J, VO3I 〇6. 根据权利要求1所述的云环境下高效的隐私保护密文连接访问操作验证方法，其特 征在于，步骤3的具体实现包括以下子步骤： 步骤3. 1 :客户端获得密文结果数据表RS和验证对象VO ;解密密文结果数据表得到明 文结果数据表；客户端根据RS分解出其对应于两个原始关系表R和S的记录数据集R'、 S，（R，e R，S，e S); 步骤3. 2:客户端根据R'和VO11中所提供的节点哈希值验证数据集R'的真实性；还原 Tam根节点V的哈希值V. data，将还原的V. data与VO ^中签名的根节点哈希值比较，相同 则验证通过；否则，结果数据不正确；同理根据S'和VO21中所提供的节点哈希值验证数据 集S'的真实性； 步骤3. 3 :客户端获取R'中条件属性上的属性字段值，检查是否在VO12中的边界节点 哈希值{Mrx)AP(ry)}范围内；然后根据R'和VO12中所提供的节点哈希值还原T emht根节 点V的哈希值V. value，并利用VO12中签名根节点哈希值验证其正确性，以此验证云端是否 正确执行了在密文数据表C k上的选择条件操作；同理，根据VO22验证云端是否正确执行了 在密文数据表Cs上的选择条件操作； 步骤3. 4 :对于VO3*的每一个节点u，客户端首先解密u. num得到其明文值，并利用签 名判断其真实性；若是真实的，则计算访问结果记录个数Num ;Num = Num+u. num ;最后，客 户端判断明文结果数据表RS中的记录数是否等于Num ;若相等，则说明选择连接操作结果 是真实完整的；否则，验证不通过。
【专利摘要】本发明公开了一种云环境下高效的隐私保护密文连接访问操作验证方法，包括以下步骤：1）数据拥有者在客户端加密关系数据表，同时构建相应的嵌入式MHT（Merkle Hash Tree）验证结构并签名，最后向云端发布密文关系数据表和验证数据结构；2）访问用户提交条件连接操作请求到云端，云端根据访问请求和验证数据结构返回验证对象和结果密文数据。3）访问用户在客户端利用验证对象对访问结果进行正确性验证。本发明针对云环境，在保护用户数据隐私的前提下，通过构建高效的基于嵌入式MHT的访问操作验证结构，确保用户访问操作结果数据的正确性，同时降低验证时空效率。
【IPC分类】G06F21/62, G06F17/30
【公开号】CN104881615
【申请号】CN201510310175
【发明人】彭智勇, 聂孜析, 程芳权, 宋伟, 曾承
【申请人】武汉大学
【公开日】2015年9月2日
【申请日】2015年6月8日