您的位置： 专家智库 > >

吴迎

作品数：1 被引量：6H指数：1
供职机构：中国科学院信息工程研究所更多>>
发文基金：中国科学院战略性先导科技专项国家自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

  • 1篇自动化与计算...

主题

  • 1篇同态
  • 1篇同态加密
  • 1篇加密
  • 1篇MAC

机构

  • 1篇上海科技大学
  • 1篇中国科学院

作者

  • 1篇薛锐
  • 1篇章睿
  • 1篇张良峰
  • 1篇刘牧华
  • 1篇吴迎

传媒

  • 1篇中国科学：信...

年份

  • 1篇2015
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
可验证计算研究进展被引量：6
2015年
可验证计算是分布式计算和云计算环境下,解决任务分包以及任务委托计算中产生的计算结果可靠性(可信性)问题的重要手段.本文总结可验证计算重要研究进展,主要涉及计算机理论领域和密码学领域的最新研究进展.在计算机理论领域的可验证计算研究方面,讨论了交互式证明、可随机检查证明定理(PCP theorem)和可靠性证明(CS proof)之间的联系、发展及其在可验证计算中的应用.在密码学领域的可验证计算方面,主要对应用密码学工具构建的可验证计算方案进行了分析总结.此外,简要介绍代理存储背景下的可验证计算.最后对可验证计算未来的发展方向进行展望.
薛锐吴迎刘牧华张良峰章睿
全选 清除 导出
共1页<1>
聚类工具0