高效完整性验证机制覆盖移动用户公共云远程数据

抽象性

现代世界数字化及其应用似乎比任何其他通信设备都更多地与手机相融合自手机对几乎所有用户应用无所不在以来,手机已成为向云服务器上传敏感信息首选选择云服务器数据存储驱动程序隐含性,原因是它收费使用策略、黑客操作云服务器数据以及硬件故障事件等2011年亚马逊云服务器事件需要数据定期验证远程服务器存储数据现代研究者提出了许多新方案来确保远程数据完整性,但他们因计算和通信而遭受攻击或间接损失。本研究论文提供三大维度解决方案第一,引入新方案验证存储在远程云服务器上的数据完整性第二维比前一工程减少审核过程计算和通信间接费第三个维度安全验证用户审核过程和动态数据操作,如块修改、插入和删除协议建议安全显示稳健性、完整性和数据隐私性,使之成为现实应用中理想实施机制

开工导 言

现代世界日数日数越来越多,规定数据外包需要通过个人用户手机向企业办事处云服务器一号,2..Google驱动程序、Google应用引擎、微软OneDrive系统、GooglePicasa系统、Adobe云程序、Oracle云程序、Drobox程序、脸书系统等应用都隐含了从非专业技术员到高智慧技术员等各种推理方案,用云存储数据。因此,在这个数字世界中, 拥有手机的人将广度世界看成只是一个小地球村 通过互联网和云存储获取信息

同时云存储在弹性、可靠性、每次使用模式和上传、下载期间交通可调适性等方面有固有好处3..拥有强处理器和随机存取内存处理数据移动用户无需存储本地存储数据数据上传云存储后,可免除维护数据的负担灵活数据存储本身也有固有缺陷,如工作所引用4..数据存储新式攻击 包括云服务器 现在已经显眼敏感数据被黑客捕捉后,黑客可以使用这些数据采矿业务模式,使用模式可能为实际数据所有者损失铺路。连云服务器都可能试图隐藏数据服务器故障事实,结果数据所有者将永久丢失数据

允许验证进程,首先用户拆分大文件上传小单元称为文件块用户像云服务器一样向远程存储区上传所有块稍后,如果用户想验证上传文件完整性,他可以通过使用某种加密可验证程序实现[5-7..

类似地,为确保云服务器数据可核查性,作者在过去文献中提出了多项方案在一个这样的假设中,云服务器被赋责计算基于云存储中所有块的验证证明8,九九..在这种情况下,如果云服务器同时为数以百计用户做计算密集工作,则可能产生巨大的计算间接费反之,2007年Juels和Kalisi等作者10称审核任务必须在云用户端完成方法不适应用户计算受限手机

Ateniese等创举[11用户若想审核文件完整性, 则无需存取云中存储的全部文件,线上的一些作品将核查权委托给其他方,如受信任第三方或其他类似实体中工程建议12-14接受医生治疗的病人使用云存储电子健康记录并允许医生创建记录并代病人存放远程存储最近由Yu等人提议的工作2017年15似乎是有价值的协议 公共审计能力 高效计算存储管理陈等人提出了多项可核实计划2019年16Peng等2019年17藤崎和冈本18号Patra等2015年19号servessss

因此,研究工作应能够在审计响应阶段验证合法移动用户在这方面,每个移动用户在发送审计请求前应在云服务器存储唯一验证参数因此,在审核响应期间,云服务器能成功验证只有合法用户并识别入侵者中止审核请求

协议设计期间需要考虑的一个基本事实就是确保最安全少计算必要性和协议强健性必须能抗攻击者和黑客因此,尽管有多种方法确定云服务器存储文件块完整性,但每种方法都存在问题之一,如云服务器或数据拥有者计算重负或第三方代表云用户验证过程可靠性、云服务器和云用户认证程序缺失在这次研究工作中,建议使用新颖方法避免远程服务器存储数据验证的上述缺陷,使上传文件的用户也能验证同一完整性。

远程存储数据除非得到彻底验证,令用户对安全保证、计算和通信能力感到满意,否则这些计划不仅易受攻击,而且非操作性供移动用户社区实际使用,而移动用户社区构成互联网用户的一大部分。基于解决这些问题的必要性,本研究工作的贡献可强调如下:

1.1.本研究论文

i)引入新方案验证远程数据完整性和验证完整性审核过程期间移动用户二)验证程序的存在防止窃听器和黑客侵入系统三)拟工作抗攻击并计算比前工作效率更高四)存在完整性、完整性和完美数据隐私有效证明使这对云实数据审核至关重要

1.2.组织本研究工作

组织本研究手稿如下段内2整合与拟远程数据完整性验证工程有关的急需新老文学作品并展示需要改进这些作品段内3快速审查初步结果,科内有本研究工作中拟拟协议的适当架构4.后段显示编程新程序构建文件数据完整性验证过程和数据动态操作支持段内6审核过程从正确性、稳健性及数据隐私方面分析这项工作内段7协议执行结果与各种机制比较,结果制表段内8结束这项研究工作

二叉文献调查

最新进展,如物联网计算、数字交易基于链式安全保证、智能城市、云计算等技术使移动用户上传敏感信息供未来处理多所学院的研究人员和学生提出了许多有价值的计划,以确保正确拥有云服务器存储的数据。

王等2010年20码引入类似体系建议高效审计框架而不要求用户维护上传云服务器数据本地拷贝工作抗衡审计员攻击并同时支持多用户完整性验证朱等人提出的计划[2012年21号使客户能够多云服务器存储文件并引入可缩放完整性验证服务,并基于同态过程和分级编程减少计算和通信复杂性

朱等人值得一文2013年22号尝试验证云服务器存储文件完整性,使用碎片结构、散列表索引和概率查询审核服务频繁验证过程这项工作虽然是一种新手,但在数据动态操作中缺乏用户的适当认证,在完整性验证过程产生相对重要的计算间接费Yang和Jia提议的基于身份远程数据完整性验证机制工作23号提供静态和动态数据操作支持第三方审计师高效验证云中存储数据完整性,并同时为多数据所有者和多云服务器批量验证作业提取备案第三方审计师验证数据完整性

黄等2014年24码允许第三方使用半托管TPA服务验证假设TPA部分可信,数据所有者验证云服务器提交TPA的证据Wang etal建议的另一工作[25码建基于身份验证法避免复杂公钥基础设施基于复杂认证过程类似Yu等2015年26协议使用代数签名公开验证数据避免重放删除攻击

刘等人的另一计划[27号2017年推出基于机顶计划,免证书验证过程并避免量子计算机攻击,同时确保数据隐私对抗第三方审计师测试成功验证云中存储数据完整性而不使用代价高昂认证过程系统抗云服务器攻击这项工作值得称道,但在验证程序期间缺乏用户认证

Ren等最近的工作[28码2018年使用rb23Tree防止云服务器操纵敏感数据并逃避完整性验证程序Luo等2018年29提议高效机制使用BLS短签名保护用户隐私仅减少计算和通信复杂性最近一项非常有用的研究工作涉及验证云数据完整性审计,由Yan等人提出2019年30码..高效机制保护用户隐私和数据失明,计算成本低得多He等受人称道的工作2015年31号维护条件隐私并确保无线环境认证张等公司有目共睹2019年32码保护隐私不使用双线性配方

2.1.文献调查空白

所发现的一些漏洞包括缺乏认证、协议易攻击和计算复杂性增加等缺乏认证可能帮助攻击者装模作样验证过程

拟议的研究工作目标如下:(1)编译新算法远程数据完整性验证过程免攻击(2)发明计算高效算法,帮助远程数据完整性验证云服务器存储数据3级引入安全认证机制验证密钥生成期间移动用户(4)允许安全认证挑战响应程序(5)支持动态数据操作,如修改、删除和插入存储远程云存储文件块(6)保证第三方审计师完全数据隐私,从而只允许他做验证过程而不获取云服务器存储文件的任何信息

3级初步工作建议

3.1.双线性平面属性

假设 并 表示两个多循环组 并 产生者 .双线性地图 表示双线性配对(1)双线性属性 面向所有 并 (2)非退化属性 去哪儿 生成器 3级双线性配对函数 可使用高效算法计算

3.2标注

表中显示此项研究工作所用的显微值一号.

4级架构建议系统

体系架构图解一号,它可以通过下列步骤得到更好的理解系统管理员初始化系统第三方审计师向系统管理员注册移动用户想与系统管理员向云服务器寄存器上传数据,系统管理员转而向云上传移动用户独有参数,云上传用户验证除此以外,系统管理员发送由主密构成的参数,使移动用户计算自己的密钥移动用户想审核数据 向第三方审计师发送审计请求第三方审计师创建审计挑战并发送云服务器用户认证成功时云服务器生成审核响应由第三方审计师验证,验证状态寄送启动审核请求的移动用户此外,如果数据拥有者想更新、修改或删除上传云中的任何块数据,它也可以通过动态数据操作实现。

拟系统由四大实体组成,如数据拥有者移动用户、云服务器、系统管理员和第三方审计师

4.1.数据所有者

手机用户因本地存储维护能力不足而想上传敏感文件云存储定时间隔,通过TPA向CS发送审核请求,确保远程数据完整性移动用户还可以修改、删除或插入文件块CS中先前由它上传

4.2系统管理员

实体初始化系统并负责生成移动用户和TPA用于验证目的的秘密密钥实体还上传移动用户认证参数云服务器,以便云服务器安全认证移动用户

4.3云服务器

表示计算机农场极有潜力以付费成本模型售出数据存储大型文件划分成移动用户块存储并提供完整性验证文档和对应标签存储方便审核移动用户外包数据并认证移动用户在TPA审核过程期间,CS从TPA接收挑战并相应发回TPA回复以验证完整性

4.4.4第三方审计师

实体代表移动用户进行审核TPA接收移动用户的审计请求并基于某些秘密参数制造审计挑战并寄送CS认证移动用户和数据完整性验证CS创建相应的审核响应并发送TPATPA验证实响应或非实响应验证成功后,实体向移动用户发送审核响应定期间隔时,它们将通过审核请求保证远程数据完整性。

5级所拟方法

5.1.系统初始化

sm初始化系统选择两个多循环组 ,双线性地图定义

选择hash函数 生成消息文摘并随机选择整数 并分 .算法

现在 发布系统参数等 .参数显示 并 隐藏为秘密 .

5.2移动用户系统注册

阶段由移动用户间以下步骤组成 系统管理器 .上头 发送 至 .来 指标识 ,并 指公钥 .上头 转折计算

发送计算值 并 向移动用户 .现在 计算 并验证 详解如下:

成功验证 确定它已完成注册 并分享公钥 .临Τ 商店 用户局部存储眼下 并 彼此识别避免攻击者在键子生成、文件上传和完整性验证过程期间发动攻击类似地,TPA注册 通过发送身份 并公钥 .TPA和SM相互识别

5.3系统管理员生成移动用户密钥

在这一阶段,移动用户 ,成功注册后,与SM对话以生成与该移动用户有关的专用密钥(1)上头 选择 随机发自 计算 .发送 toSM图解2.(2)上头 接收参数时检索值 基于身份 取自本地存储算法 并检查它是否与接收值相同未验证 ,并运算中止验证后选择 随机发自 计算 现在 发送 向移动用户 .况且 表中引用的验证表更新2带标识 和对应参数 排成一行 .系统管理员SM每天结束向云服务器CS上传认证表并签名认证细节系统管理器计算签名为 ,去哪儿 hash指验证表细节 指云服务器身份云服务器验证接收数据 方程中10) hash值指表云服务器接收验证表2.证明方程 因此,如果实收hash值 并计算hash值 不变方程 有效确认接收验证表完全完整3级 接收加密消息 ,解密使用对应私钥(使用RSA等适当算法)并获取参数等 .保密消息避免中继人攻击或从SM转机期间的其他此类攻击 .(4)移动用户 计算密钥K级₃详解如下: (5)况且 移动用户 验证系统管理器 通过验证

自值 SM唯一可知道,此验证程序成功验证 向移动用户 .

5.4标签生成文件移动用户上传

假设移动用户 想要上传敏感文件 公有云服务器 .存取文件时不发生完整性故障,以便日后确定文件的真实性,移动用户 执行下列步骤:(1) 分割文件 进进 块状图假设 指文件单个块(2)随机选择 远程完整性验证过程使用3级需要每个块 并计算相应的块标签 原封 (4)移动用户 存储文件所有块 并附对应标签 云服务器中那些块 指相邻块块标签 .(5)终于 删除本地文件拷贝 取自本地存储

5.5RDIC第三方审计师挑战

后段移动用户 想要验证文件完整性 存储公共云验证完整性 sm请求发送公共密钥 并获取它现在 发送参数 TPA表示 ,去哪儿 公钥 .后端TPA产生挑战如下 基于少数随机选择文件块(1)TPA随机整数 随机选择块校验(2)识别移动用户 云服务器CS并避免中位人攻击和其他可能攻击,TPA计算参数 详解如下: 3级同时,TPA计算 中 公钥 并 指秘密参数 .(4)TPA创建挑战基础 对应块数 随机生成整数 .举例说,考虑案例 ,去哪儿 指块号 并 指对应整数由TPA随机选择(5)终于,TPA发送 云服务器CS

5.6RDIC云服务器响应

接收TPA挑战时云服务器生成响应如下:(1)第一,CS认证 通过检验方程是否 置为真或假来 指对应移动用户的参数 用户认证表显示证明方程可理解如下: 即验证 允许云服务器验证移动用户如果认证不成功,CS中断完整性验证过程(2)计算参数 3级并计算 (4)发送 TPA等待响应

5.7第三方审计师完整性验证

验证长回传文件是否由云服务器完整保存,TPA将完整性验证

证明以上方程证明文件单个块 存储远程服务器的云服务器原封不动图解审计过程TPA和CS总体交互作用3.

5.8数据动态运维

在某些情况下,敏感文件存储的信息可能需要修改或插入或删除研究工作努力确保安全认证程序不变如下

文件块修改操作移动用户想替换块 文件编程 带 .(1)移动用户 发现 块状 文件编程 需求替换 云服务器正因如此,它计算块对应块标签 原封 (2)移动用户 计算 并 挑战生成过程3级 发送参数 云服务器 指文件块修改操作 指向 块更新 指新块替换旧块 并 指新块块标签 .(4)CS接收参数 发自 ,尝试验证 原封 .也就是说 (5)if认证 成功,CS替换老块 带 ,并因此文件 变迁 .并更新文件对应标签 .

删除块 文件编程 ,移动用户执行下列步骤:(1)和块修改操作一样 发送参数 云服务器 指删除块操作(2)CS接收参数 发自 ,尝试验证 原封 并验证接收签名 匹配 块中 中选删除3级if two认证 标签验证成功,CS删除块 从存储空间,并因此文件 将存为 ,并对应签名

插入新文件块 面向文件 , 执行下列步骤:(1) 发送参数 寄存式CS 指块插入操作(2)CS接收参数 发自 ,尝试验证 原封 3级如果认证成功,CS插入块 内存空间,并因此文件 将存为 ,并对应签名

6级安全分析拟议工作

远程完整性协议假设安全性,如果它显示完整性、完整性和数据隐私等属性本节分析有关这些基本属性的拟议协议

定理1(完全性)。TPA在收到审核回复后进行的完整性验证基于有效证明

证明在这次研究工作中 ,验证过程显示TPA保证拟议的RDIC协议完整性证明此方程可提供如下: 移动用户和云服务器如实免骗取方程 守实

定理2(用户认证)审核响应期间云服务器验证依据有效证明完成

假设用户 有特征 上传参数 上传文件前传云基于用户请求 TPA计算 并 并发送 云服务器此处,有效性 云服务器在完整性验证期间确保只有有效用户才是验证过程的一部分,而不是入侵者以本案为例 由云服务器取自验证表 从TPA接收假设攻击者随机值 并装模作样合法用户 发送审核请求 带 并 .CS在收到审核请求后 从攻击者检索 从验证表并尝试验证如下:

验证失败所拟系统在验证过程期间只向合法用户提供有效证明

定理3在我们的计谋中 攻击者占有 无法破解系统并参与审计作弊

参数显示 关键并只共享 和TPA攻击者可能是系统现有成员并想假冒用户 通过使用它 , 并尝试构造方程 只会失败 自值 只为合法用户和TPA所知方程建议工作 显示完整性验证期间攻击者想破解系统应拥有 保密共享 和TPA除非TPA或移动用户披露此信息,攻击者无法猜值 并 通过只知道配对操作 并 .况且,完整性验证基于所考虑的所有块块进行,CS或TPA都无法将欺诈作为 并 极难计算数据云服务器失密或攻击者乱动

定理4(完全数据隐私)TPA无法获取数据信息

用户发送 TPA审核请求在整个挑战生成和完整性验证过程期间,TPA从不存取文件块 或签名 .挑战生成过程期间TPA协同 不泄露文件块细节此外,在验证过程期间,TPA验证 中不显示签名或文件块信息虽值 基础文件块和值 基于这些块签名,由云服务器计算,而不是由TPA计算TPA只发挥验证作用TPA无法从这些参数中学习文件信息 留下系统维护数据隐私

7结果与讨论

协议建议安装机Windows操作系统Intel核心i5-4460处理器运行3.20GHz和3.20GHz,主内存4GB实验使用配对密码库pc-0.5.14,C编程语言用于实现目的表23显示拟议作品提供的安全特征和文献中一些显著相似作品

假设 指推理操作成本 指hash操作成本 指配对操作成本 指加点时发生的费用 指一分乘法成本 并 指整数乘法和整数加法标签生成阶段生成文件块 指文件块数所拟研究工作与Yu等人所拟重大工程比较[15Wang等[20码朱等人[22号和Yang等[23号..前一工作努力确保文档完整性,但在过程期间缺少用户认证因子这一新式研究工作既处理完整性验证过程,也处理认证过程证件完整性验证过程期间产生的主要间接成本归结为标签生成、验证生成和验证过程因此,作为研究工作的一部分,表4比较拟议协议计算费用与文献中最近协议组顺序设置为160比特,测试文件尺寸为1MB约5万个数据块表内4, 指上传云服务器块数 指完整性验证过程受挑战块数

系统初始化计算仅在系统初始化期间完成用户注册期间只计算一次用户可尝试上传多文件, 并因此标签生成仅在文件上传云服务器时完成, 审核工程计算将定期完成 。从表4很明显,拟议工作比文献中最近的其他作品产生相对较少的管理费

文件上传期间生成标签时,移动用户做一对接运算和一推算运算 面向每一块面向 区块,用户必须制作 配对和 推理操作比文献中相似作品少得多显示结果图4表示拟议工作显示文献中前协议计算管理效率提高图显示最小百块和最大千块成本比较

移动用户为每个块生成标签计算成本只有一个推算和对接操作所有其他最近比较工程比拟议工程成本更高举个例子 标签生成一块 由Yu etal建议单块二推理操作,单块一hash运算,加点操作比建议工程成本高从图中可以推断出,对于共300块生成标签而言,拟议协议产生691ms计算间接费599ms比Yuetal计划少599ms,390ms比Wangetal计划少390ms,724ms比Zhuetal计划少724ms,270ms比Yangetal计划少270ms

图中5拟生成证明协议的性能与Yu等人、Wang等人、Zhu等人和Yang等人分别提议的工程比较举个例子,让我们考虑700块校验生成成本在本案中,拟议协议只实现小性能提高10ms和41ms之比Yu等人提议的工程和Wang等显示性能大提高,如1,053ms和1,656ms小于朱等人提议的工程和Yang等从图中可以推断出,随着块数的增加,拟议协议性能也提高。

相似图6显示第三方审计师验证过程计算成本比较证明验证使用第三方审计师在审计挑战中随机选择块计算期间 ,TPA可计算值 仅一次并用于后续操作 .测试方式是把区块数从100个增加至1000个结果表明,对600块而言,拟议协议仅产生541ms2 582mss、1 744ms、1 993ms和1 622ms因此,从计算间接费方面看,拟议协议显示性能优于先前提议的协议

表25提供各种协议通信成本比较上表 指大小元素 , 指大小元素 , 指块数方面元素大小 指受挑战区块数

通信成本主要是由于第三方审计师频繁向云服务器发送审计质疑和云服务器对第三方审计师的审计响应通信间接由信息交换组成注册过程、挑战生成和响应过程注册期间通信管理费不计入此项工作,因为云用户只发生一次TPA向CS发送审核质疑阶段TPA发送 云端况且 大小 基于受挑战块数, 并因此审计挑战规模 .TPA发送 CS唯一目的验证规模审计挑战 优等优[15和朱等人[22号计划并产生类似于Wang et al[20码杨佳23号scheduce, equative.

审核响应阶段建议协议云服务器发送 TPA大小都 并 基于受挑战区块数所拟方案优于Yu et al.计划15产生通信间接 位元效率比Wanget al计划[20码中包含 去哪儿 产生额外管理费 比特比拟工作此外,拟议工程产生一半通信管理费,如朱等人[22号和杨家和佳一模一样23号scheme.协议提案显示它产生最小通信管理费,同时支持高效认证特征和最小计算复杂性

八点八分结论

归根结底,新式抗攻击协议和高效协议 验证云服务器远程存储数据这项工作是首创类型,为参与验证过程的移动用户对云服务器存储的远程数据启动验证程序提供了足够的安全分析来确定这项工作是否真真真真实实实实,以抵制所有方面攻击事件。实施结果清楚地表明,这项工作提供审计服务,比最近文献中的类似工作少计算复杂性值此移动计算时代, 这项工作应努力证明它对于移动用户存储云服务器敏感文件的重要性 。今后,这项工作可进一步扩大,支持企业办公用户或多云服务器存储数据的其他社区用户验证

数据可用性

无数据支持此项研究工作

利益冲突

撰文者声明,本论文的发布不存在利益冲突问题。