云计算视角下可验证计算的分析研究

作     者：张琳 ZHANG Lin

作者机构：芜湖职业技术学院网络工程学院安徽芜湖241003 

基　　金：安徽省教学研究项目(2016jyxm1121) 安徽省质量工程项目(2016mooc320,2014sjjd036,2015mooc125) 芜湖职业技术学院自然科学项目(Wzyzr201716) 2016年度职业教育专业教学资源库项目(2016-B11) 

出 版 物：《长春工程学院学报（自然科学版）》 (Journal of Changchun Institute of Technology：Natural Sciences Edition)

年 卷 期：2018年第19卷第1期

页      码：100-102页

摘      要：云计算能否在未来的各个领域中被广泛运用,决定因素在于其可信度。可验证计算在检测云计算结果的可信度方面具有其独特优势。利用可验证计算协议可验证云服务器端所返回的数据是否正确,它成为实现云计算可信度的重要保障。文中在阐述可验证计算基本内容和相关设计原则的基础上,分析了可验证计算协议的一般流程、设计原则及计算模型,并结合基于交互系统的可验证计算协议分析,探讨在云计算视角下可验证计算的研究展望。

主 题 词：云计算 可验证计算 编译 验证 

学科分类：081203[081203] 08[工学] 0835[0835] 0812[工学-测绘类] 

D　O　I：10.3969/j.issn.1009-8984.2018.01.025

馆 藏 号：203285059...