基于可验证计算的可信云计算研究.PDF

第 卷 第 期 计 算 机 学 报 ３９ ２ 　 　　 　　 　　 　　 Ｖｏｌ．３９ Ｎｏ．２ 年 月 ２０１６ ２ ＣＨＩＮＥＳＥＪＯＵＲＮＡＬＯＦＣＯＭＰＵＴＥＲＳ Ｆｅｂ．２０１６ 　 基于可验证计算的可信云计算研究 ），） ），） ），） ），） 王佳慧１ ３ 刘川意２ ３ 王国峰１ ３ 方滨兴１ ３ 　 　 　 １）（北京邮电大学计算机学院 北京 １００８７６） 　 　 ２）（北京邮电大学软件学院 北京 １００８７６） 　 　 ３）（北京邮电大学可信分布式计算与服务教育部重点实验室 北京 １００８７６） 　 　 摘 要 云计算的可信性直接决定了其能否被广泛使用和推广 如果能使得云计算用户验证存储在云平台的数据 ． 　 　 的完整性或者在云平台执行的程序的正确性，将会大大加快云计算的应用 而可验证计算协议可检测出远程服务 ． 器返回的程序执行结果是否正确，且不需要将远程服务器所执行的程序再重新执行一遍 因此，近年来，可验证计 ． 算协议引起了学术界和工业界的广泛关注，成为实现可信云计算的一种建设性思路 文中在系统梳理和总结可验 ． 证计算协议国内外相关研究的基础上，依据可验证计算协议的实施流程对其按照编译处理和证明系统分类 其中， ． 依据可验证计算协议使用的编译器的复杂程度，分为使用简单编译器的可验证计算协议和使用复杂编译器的可验 证计算协议；依据证明系统的分类，主要研究基于交互式证明系统的可验证计算协议和基于论证系统的有预处理 的可验证计算协议 随后对依据证明系统划分的每一分类，围绕基本定义、典型协议原理及流程、适用应用场景、性 ． 能分析等问题，对基于可验证计算的可信云计算进行了综述 最后，总结和展望了待解决的关键性问题和未来的研 ． 究方向 上述工作将对可验证计算协议在云计算中的应用起到一定推动作用 ． ． 关键词 云计算；可验证计算；云安全；交互式证明系统；论证系统 　 中图法分类号 号 ／ ＴＰ３０９ 犇犗犐 １０．１１８９７ＳＰ．Ｊ．１０１６．２０１６．００２８６