可验证计算视角下可信云计算的研究.doc
《可验证计算视角下可信云计算的研究.doc》由会员分享,可在线阅读,更多相关《可验证计算视角下可信云计算的研究.doc(5页珍藏版)》请在三一文库上搜索。
1、可验证计算视角下可信云计算的研究云计算属于一种新型网络计算模型,在实际操作过程中,用户能够完成远程数据储存。这种计算模式为人们带来了较大的便利,与此同时,用户也十分关心云计算的安全性能,例如错误配置。这些问题的存在会严重影响数据的完整性,甚至可能会导致程序无法正常运行。 1 问题描述与协议设计原则 问题描述:操作者想要将有关程序和输入变量全部都传输给验证者,验证者计算程序与输入变量之后,将计算结果重新传输给操作者。这时,操作者与验证者之间就需要进行交互,即:操作者与验证者之间的数据完全相同,则表示操作者传输的程序与输入变量全部都正确。这样,操作者就能够验证准确的结果。在此过程中,回答操作者提出
2、的问题,不仅能完成验证工作,还能为验证者提供一定的判断依据。如果操作者与验证者之间的数据不完全相同,存在一定误差,那么,操作者拒绝验证者的可能性也就会比较高。 在设计可验证计算协议的过程中,要遵守以下原则:可验证计算协议应该保证验证者所有的操作成本要远远低于操作者在本地操作的经济成本,而且验证者所需要的经济成本要控制在合理范围内。这主要是因为,程序在运行过程总有一定的正确率,用户就需要为此付出代价。在应用云计算的过程中,软件提供者为了保证程序能够正常运行,就要向应用者收取适当的费用。如果验证者不能完全遵守协议,在验证过程中可能存在恶意攻击的行为,这会与云计算构建的不完全实际场景相一致。一般情况
3、下,应用者应用到的都是通用型程序。而在设计协议的过程中,应用者有可能在一定前提条件下设定程序,通过程序类别的限制保证协议能够与实际情况相吻合。但是,在设计可验证计算协议的过程中,还是应该最大程度保证程序具有良好的兼容性。 2 协议流程与关键 2.1 可验证计算协议流程 可验证计算协议流程内主要包含编译处理和证明系统两部分内容。在编译处理环节,主要是应用者和验证者将程序转变为电路集,或者是转变为其他类别计算模型。正常情况下,应用者与验证者交换协议不是一般性质的。在程序实际运行的过程中,验证者要想得到正确的轨迹途径,就需要分析众多类别轨迹途径。对于电路计算过程,任何一个数值都具有一定的特殊意义。这
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 验证 计算 视角 可信 研究
链接地址:https://www.31doc.com/p-1581419.html