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

来源 :长春工程学院学报:自然科学版 | 被引量 : 0次 | 上传用户:endlessing
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
云计算能否在未来的各个领域中被广泛运用,决定因素在于其可信度。可验证计算在检测云计算结果的可信度方面具有其独特优势。利用可验证计算协议可验证云服务器端所返回的数据是否正确,它成为实现云计算可信度的重要保障。文中在阐述可验证计算基本内容和相关设计原则的基础上,分析了可验证计算协议的一般流程、设计原则及计算模型,并结合基于交互系统的可验证计算协议分析,探讨在云计算视角下可验证计算的研究展望。
其他文献
近年来,随着我国城市化进程的加快,城市的规模不断扩大,电梯已逐渐成为人民群众生产、生活中的重要运载工具。特别是近两年,我国也已发展成为全球最大的电梯生产、使用国。电
【摘要】21世纪以来高校扩招持续不断,学前教育专业越来越热门,每年学前教育专业的本专科毕业生持续走高,作为中等职业技术学校的学前教育专业的学生,面临的困境和压力就很大。在这样的大背景下,中职学校开设职业规划相关课程能够在一定程度上帮助学生增进对职业的认识,了解职业内容与职业需求,确立生活目标,更好的融入社会,服务于社会。  【关键词】中职学校 学前教育 困境职业规划  一、中职学前教育发展困境  
【摘要】高职院校课程的设置与市场需求的联系越来越密切,学校对专业课的教学设计与教学目标的制定,需要在此基础上根据新课程改革的要求,调整旧有的专业课教学的步骤。其中,对畜牧兽医专业的课程改革,高职院校的老师要不断与时俱进,将学生培养为具备基本的畜牧兽医类管理与技术的人才。  【关键词】畜牧 兽医 专业课教学  由于我国高职院校畜牧专业的开设与发展的时间比较晚,对相关专业领域知识的编纂与教育,是农业、
气道湿化和吸氧是护理气管切开患者的重要措施,临床上常用两条剪去钢针的头皮针软管部分(一条外接吸氧导管,一条外接气道湿化推注泵上的延长管)同时插入气切内套管即氧液分离式
案情回顾 《中国质量技术监督》2016年第2期“抛砖引玉”栏目刊登的《这台电梯安装告知可以受理吗》介绍了这样一起案例:2015年11月23日,A公司(电梯安装单位,单位注册登记地为B省
目的探讨优化组合的干预措施对微创经皮肾镜取石术患者康复的效果。方法将我院收治的120例肾结石患者分为观察组和对照组。观察组于术后6h用自制雪绒状冰袋对术侧肾区进行冷
一、前言  一名优秀的铅球运动员,除了要有优越的身体条件,身体素质和过硬的心理素质外,还应有熟练而又合理的铅球技术,而这个技术应是在少年时期就从事专门的、系统的正规训练,才能很好地掌握铅球技术,这里将自己在几年的铅球训练中取得的一些成功经验做一下分析,希望为培养优秀铅球运动员提供一些参考。  二、分析  根据大纲的要求及云南省的情况,地州市训练的男女少年运动员年龄一般在12—16岁之间,正处于基础
案情回顾《中国质量技术监督》2016年第8期“抛砖引玉”栏目刊登的《电梯轿厢报警电话无效该如何处理》介绍了这样一起案例:2016年7月1日,C省A市质监局稽查支队执法人员对位于
【摘要】微博以极强的渗透力和吸引力对青年人的思想和行为产生重要的影响,同时也使思想政治教育工作遇到了到新的机遇和挑战。如何利用微博并有效发挥其思想政治教育功能,就成了我们探讨的新课题。在简要介绍微博的含义、特点的基础上,提出了微博的思想政治教育功能,最后,文章以上海某高校作为实证研究的具体案例,提出了微博的思想政治教育功能的实现途径:首先树立开发微博的思想政治教育功能的新观念;其次积极采取措施从组
【摘要】本文从当前大学计算机文化基础课的现状出发,借助时下流行的微课教学,传统和现代相结合的考评机制,提出了一些针对本学科的教学改革思路,以学生为本位,个性服务学生,提升学生学习积极性。  【关键词】计算机基础 微课改革  一、引言  《大学计算机基础》是大学计算机基础教学中的基础性课程。通过比较全面、概括性地讲述计算机科学与技术学科中的一些基础性知识和重要概念,并配合必要的实践教学,为后续课程学