可验证计算视角下可信云计算的研究.pdf

科技与创新 ┃ScienceandTechnology Innovation 2017 年 第 4 期 文章编号：2095 6835 2017 04 0034 02 － （ ） － －  可验证计算视角下可信云计算的研究 戚利娜 （吉首大学张家界学院，湖南 张家界 427000 ） 摘 要：云计算能否被广泛应用，最主要的一个决定因素就是其可信度。在实际应用过程中，云计算上的所有数据都要 完整，同时，在程序执行过程中，要具有较高的精确性。这样，就能够有效拓宽云计算的应用范围。另外，云计算协议 能够判断服务器内所有的反馈结果，远程服务器并不需要重新操作有关程序。近几年，可验证计算受到了研究人员的高 度关注，已经成为可信云计算发展的主要趋势。 关键词：云计算；可验证计算；云安全；论证系统 中图分类号：TP309 文献标识码：A DOI ：10.159 13/j .cnki.kj ycx.2017.04.034 云计算属于一种新型网络计算模型，在实际操作过程中， 时了解程序运行轨迹，整个验证过程就会出现漏洞。从时间的 用户能够完成远程数据储存。这种计算模式为人们带来了较大 角度分析，应用者无法在短时间内将全部编码都写出来，而验 的便利，与此同时，用户也十分关心云计算的安全性能，例如 证者在验证编码的过程中，只验证特色位置上的数值即可。要 错误配置。这些问题的存在会严重影响数据的完整性，甚至可 是将编码全部编写出来，不仅工作量十分大，其中大部分工作 能会导致程序无法正常运行。 都属于无用功。但是，验证者在识别特殊位置的编码时，不应 1 问题描述与协议设计原则 该直接包含结果，因为在协议内，元素的随机性具有非常重要 问题描述：操作者想要将有关程序和输入变量全部都传输 的作用，能够有效保证验证者的精确性。验证者要是在之前就 给验证者，验证者计算程序与输入变量之后，将计算结果重新 能够了解事情，那么，就无法保证他给出结果的精确性。 传输给操作者。这时，操作者与验证者之间就需要进行交互， 2.2 可验证计算协议的理论依据 即：①操作者与验证者之间的数据完全相同，则表示操作者传 在分析、研究可验证计算协议理论基础和流程的过程中， 输的程序与输入变量全部都正确。这样，操作者就能够验证准 最关键的一个问题就是了解理论内所包含的等价关系。可验证 确的结果。在此过程中，回答操作者提出的问题，不仅能完成 计算协议主要包括编译处理和证明系统两部分。在编译处理环 验证工作，还能为验证者提供一定的判断依据。②如果操作者 节，编译器能够将语言程序转变为电力集成。在这个阶段遵循 与验证者之间的数据不完全相同，存在一定误差，那么，操作 的理论基础就是等价关系。在程序执行环节，程序执行的正确 者拒绝验证者的可能性也就会比较高。 性与电路集的限制条件是等价的。 在设计可验证计算协议的过程中，要遵守以下原则：①可 证明系统在实际运行过程中具有非常重要的作用。编译器 验证计算协议应该保证验证者所有的操作成本要远远低于操作 输出的模型表示为特定的计算模型，应用者实际上就是设计验 者在本地操作的经济成本，而且验证者所需要的经济成本要控 证者，验证者也就是云计算设计企业，在完成协议交换之后， 制在合理范围内。这主要是因为，程序在运行过程总有一定的 能有效保证用户在应用程序时的正确性。这个阶段所有的理论 正确率，用户就需要为此付出代价。在应用云计算的过程中， 依据为代数化方法。 软件提供者为了保证程序能够正常运行，就要向应用者收取适 3 计算模型生成原理流程 当的费用。②如果验证者不能完全遵守协议，在验证过程中可