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

发布时间：2017-07-13 20:16

  本文关键词：基于可验证计算的可信云计算研究

  更多相关文章： 云计算 可验证计算 云安全 交互式证明系统 论证系统

【摘要】：云计算的可信性直接决定了其能否被广泛使用和推广.如果能使得云计算用户验证存储在云平台的数据的完整性或者在云平台执行的程序的正确性,将会大大加快云计算的应用.而可验证计算协议可检测出远程服务器返回的程序执行结果是否正确,且不需要将远程服务器所执行的程序再重新执行一遍.因此,近年来,可验证计算协议引起了学术界和工业界的广泛关注,成为实现可信云计算的一种建设性思路.文中在系统梳理和总结可验证计算协议国内外相关研究的基础上,依据可验证计算协议的实施流程对其按照编译处理和证明系统分类.其中,依据可验证计算协议使用的编译器的复杂程度,分为使用简单编译器的可验证计算协议和使用复杂编译器的可验证计算协议;依据证明系统的分类,主要研究基于交互式证明系统的可验证计算协议和基于论证系统的有预处理的可验证计算协议.随后对依据证明系统划分的每一分类,围绕基本定义、典型协议原理及流程、适用应用场景、性能分析等问题,对基于可验证计算的可信云计算进行了综述.最后,总结和展望了待解决的关键性问题和未来的研究方向.上述工作将对可验证计算协议在云计算中的应用起到一定推动作用.
【作者单位】： 北京邮电大学计算机学院;北京邮电大学可信分布式计算与服务教育部重点实验室;北京邮电大学软件学院;
【关键词】： 云计算 可验证计算 云安全 交互式证明系统 论证系统
【基金】：国家自然科学基金(61202081)资助~~
【分类号】：TP309
【正文快照】： 1引言云计算[1]作为一种新兴的网络计算商业服务模式,使得用户可以随时在远端的云服务器存储数据和运行程序.但这种新兴的计算模式在给用户带来诸多便利性的同时,也带来了一些新的安全挑战.用户可能担心云计算平台本身的安全性,比如云平台漏洞和错误配置、管理员的恶意行为等

【相似文献】

中国硕士学位论文全文数据库 前1条

1 张源;可验证计算协议的改进与应用研究[D];北京邮电大学;2015年

，

本文编号：538264