1.一种支持外包数据高效更新的可验证删除方法，其特征在于，所述支持外包数据高效更新的可验证删除方法包括：第一步，数据拥有者对文件进行加密以保护敏感信息；

第二步，将密文外包给云服务器，云服务器维护接收到的数据并返回一个存储证据，存储证据将用于验证存储结果；

第三步，数据拥有者向云服务器发送更新请求以更新数据，云服务器更新数据并返回更新证据；

第四步，数据拥有者可以验证数据是否被正确更新；

第五步，如果不再需要外包数据，数据拥有者向云服务器发送数据删除命令以删除数据；云服务器执行删除操作，并返回删除证据；数据拥有者验证数据是否被诚实删除；

所述支持外包数据高效更新的可验证删除方法的初始化阶段生成相关的密钥对和公共参数；

首先，为数据拥有者和云服务器分别生成ECDSA公钥/私钥对(PKO,SKO)和(PKS,SKS)；

k

其次，云服务器运行VC.KeyGen(1 ,q)算法生成公共参数pp，其中VC是一个基于CDH假设的向量承诺方案，公共参数pp＝(g,{hi}i∈[1,q],{hi,j}i,j∈[1,q],i≠j)；此外，数据拥有者为文件F选择一个独一无二的文件名nf；

所述支持外包数据高效更新的可验证删除方法的数据拥有者在将文件上传到云服务器之前对其进行加密；

1)数据拥有者生成一个数据加密密钥K＝H(SKO||nf)，其中H(·)是一个安全的单向抗碰撞哈希函数；数据拥有者执行加密操作f＝EncK(F)，其中Enc是一个IND‑CPA安全的对称加密算法；数据拥有者将密文f划分为q块f1,···,fq，并将外包数据f定义为f＝(f1,···,fq)；

2)数据拥有者运行向量承诺计算算法VC.Compp(f1,···,fq)生成一个承诺C，并获得辅助信息aux＝(f1,···,fq)，数据拥有者将外包数据f＝(f1,···,fq)和文件名nf上传到云服务器；

所述支持外包数据高效更新的可验证删除方法的云服务器维护接收到的数据并生成存储证据，数据拥有者将使用该存储证据来验证存储结果，包括：

1)接收到f和nf后，云服务器在向量承诺的第i个位置存储数据块fi，其中i＝1,···,q；同时，云服务器存储文件名nf作为文件f的索引；对于所有的1≤i≤q，云服务器执行向量承诺打开算法VC.Openpp(fi,i,aux)以生成存储证据λ＝(λ1,···,λq)，云服务器将存储证据λ返回给数据拥有者；

2)接收到λ后，数据拥有者随机选择一个数据块fi来运行向量承诺验证算法VC.Verpp(C,fi,i,λi)并输出xi，随后检查xi；如果等式xi＝0成立，数据拥有者认为云服务器没有诚实地维护文件f；否则，数据拥有者删除f的本地备份；

所述支持外包数据高效更新的可验证删除方法的数据拥有者会利用新的数据块更新外包数据，并检查更新结果，包括：

1)为更新存储在位置k的数据块，数据拥有者首先从云服务器取回当前数据块fk，随后数据拥有者运行算法VC.Updatepp(C,fk,f'k,k)计算新的承诺C'，并将(C',f'k,k)发送给云服务器；

2)接收到(C',f'k,k)后，云服务器运行算法VC.Updatepp(C,fk,f'k,k)检查C'的正确性；

如果C'正确，云服务器利用f'k更新fk并获得更新信息U＝(fk,f'k，k)；对于所有的j＝

1,···,q，云服务器运行算法VC.ProofUpdatepp(C,λj,f'k,U)输出λ'＝(λ'1,···,λ'q)；同时，云服务器计算签名 并将更新证据 返回给数据拥有者；

3)接收到 后，数据拥有者检查签名sig'u的有效性；如果sig'u是无效的，数据拥有者中止操作并返回失败；否则，数据拥有者随机选择一个数据块fy来运行算法VC.Verpp(C',fy,y,λ'y)并输出xy，其中1≤y≤q且y≠k；如果xy＝0，数据拥有者中止操作并返回失败；否则，数据拥有者认为更新证据 是正确的；

所述支持外包数据高效更新的可验证删除方法当不再需要部分外包数据块时，数据拥有者要求云服务器删除不必要的数据块并返回数据删除证据，如果数据拥有者希望删除数据块fi：

1)数据拥有者首先从云服务器取回数据块fi，随后数据拥有者计算签名其中Td是时间戳；进一步地，数据拥有者生成一个数据删除

命令DR＝(sigd,delete,nf,i,Td)，并将其发送给云服务器；

2)接收到DR后，云服务器通过签名验证来检查DR的有效性，如果DR无效，云服务器将中止操作并返回失败，否则，云服务器计算签名 并利用它重写数据块fi；

*

同时，云服务器运行算法 输出一个新的承诺C；随后，云服务器对*

新承诺C计算签名 并将删除证据 返回给数据拥有者；

3)数据拥有者通过验证τ来检查删除结果：数据拥有者检查签名 是否有效，并运行* *算法 检查C的正确性；同时，数据拥有者检查sigc是否是对C的有效签名，当且仅当所有验证都通过时，数据拥有者认为τ是有效的；如果在云服务器上发现数据块fi，数据拥有者有权向云服务器索赔。

2.一种计算机设备，其特征在于，所述计算机设备包括存储器和处理器，所述存储器存储有计算机程序，所述计算机程序被所述处理器执行时，使得所述处理器执行如权利要求1所述支持外包数据高效更新的可验证删除方法的步骤。

3.一种计算机可读存储介质，存储有计算机程序，所述计算机程序被处理器执行时，使得所述处理器执行如权利要求1所述支持外包数据高效更新的可验证删除方法的步骤。

4.一种实施权利要求1所述支持外包数据高效更新的可验证删除方法的支持外包数据高效更新的可验证删除系统，其特征在于，所述支持外包数据高效更新的可验证删除系统包括：敏感信息处理模块，用于实现数据拥有者对文件加密以保护敏感信息；

存储证据生成模块，用于将密文外包给云服务器，云服务器维护接收到的数据并返回一个存储证据，该证据将用于验证存储结果；

数据更新模块，用于实现数据拥有者向云服务器发送更新请求以更新数据，云服务器更新数据并返回更新证据；

更新判断模块，用于实现数据拥有者验证数据是否被正确更新；

数据删除模块，用于实现如果不再需要数据，数据拥有者向云服务器发送数据删除命令以删除数据；云服务器执行删除操作，并返回删除证据；

删除判断模块，用于实现数据拥有者验证数据是否被诚实删除。

5.一种终端，其特征在于，所述终端搭载权利要求4所述支持外包数据高效更新的可验证删除系统。