-
题名基于可验证计算的可信云计算研究
被引量:17
- 1
-
-
作者
王佳慧
刘川意
王国峰
方滨兴
-
机构
北京邮电大学计算机学院
北京邮电大学可信分布式计算与服务教育部重点实验室
北京邮电大学软件学院
-
出处
《计算机学报》
EI
CSCD
北大核心
2016年第2期286-304,共19页
-
基金
国家自然科学基金(61202081)资助~~
-
文摘
云计算的可信性直接决定了其能否被广泛使用和推广.如果能使得云计算用户验证存储在云平台的数据的完整性或者在云平台执行的程序的正确性,将会大大加快云计算的应用.而可验证计算协议可检测出远程服务器返回的程序执行结果是否正确,且不需要将远程服务器所执行的程序再重新执行一遍.因此,近年来,可验证计算协议引起了学术界和工业界的广泛关注,成为实现可信云计算的一种建设性思路.文中在系统梳理和总结可验证计算协议国内外相关研究的基础上,依据可验证计算协议的实施流程对其按照编译处理和证明系统分类.其中,依据可验证计算协议使用的编译器的复杂程度,分为使用简单编译器的可验证计算协议和使用复杂编译器的可验证计算协议;依据证明系统的分类,主要研究基于交互式证明系统的可验证计算协议和基于论证系统的有预处理的可验证计算协议.随后对依据证明系统划分的每一分类,围绕基本定义、典型协议原理及流程、适用应用场景、性能分析等问题,对基于可验证计算的可信云计算进行了综述.最后,总结和展望了待解决的关键性问题和未来的研究方向.上述工作将对可验证计算协议在云计算中的应用起到一定推动作用.
-
关键词
云计算
可验证计算
云安全
交互式证明系统
论证系统
-
Keywords
cloud computing
verifiable computation
cloud computing security
interactive proofsystem
argument system
-
分类号
TP309
[自动化与计算机技术—计算机系统结构]
-
-
题名并发环境下可否认的环认证协议
被引量:2
- 2
-
-
作者
曾晟珂
秦志光
-
机构
电子科技大学计算机科学与工程学院
-
出处
《计算机应用研究》
CSCD
北大核心
2013年第12期3745-3748,3752,共5页
-
基金
国家自然科学基金资助项目(61133016)
国家重大专项项目(2011ZX03002-002-03)
-
文摘
利用基于时限的承诺方案、非交互式零知识证明系统以及环签名算法,提出了一个可否认的环认证协议。在提出的协议中,即使环内所有成员的私钥都被俘获,协议的匿名性仍然保持。与相关的可否认的环认证协议相比,提出的协议通信轮数最少。证明表明,该可否认的环认证协议满足消息源匿名性、健壮性,并且在并发环境下仍然保持可否认性。
-
关键词
并发可否认性
可否认的环认证
基于时限的承诺
非交互式零知识证明系统
-
Keywords
concurrent deniability
deniable ring authentication
timed commitment
non-interactive zero-knowledge proof
-
分类号
TP309
[自动化与计算机技术—计算机系统结构]
-
-
题名可验证计算研究进展
被引量:7
- 3
-
-
作者
薛锐
吴迎
刘牧华
张良峰
章睿
-
机构
中国科学院信息工程研究所信息安全国家重点实验室
上海科技大学信息科学与技术学院
-
出处
《中国科学:信息科学》
CSCD
北大核心
2015年第11期1370-1388,共19页
-
基金
国家自然科学基金(批准号:61402471
61472414
+1 种基金
61170280)
中国科学院战略性先导科技专项(批准号:XDA06010701)资助
-
文摘
可验证计算是分布式计算和云计算环境下,解决任务分包以及任务委托计算中产生的计算结果可靠性(可信性)问题的重要手段.本文总结可验证计算重要研究进展,主要涉及计算机理论领域和密码学领域的最新研究进展.在计算机理论领域的可验证计算研究方面,讨论了交互式证明、可随机检查证明定理(PCP theorem)和可靠性证明(CS proof)之间的联系、发展及其在可验证计算中的应用.在密码学领域的可验证计算方面,主要对应用密码学工具构建的可验证计算方案进行了分析总结.此外,简要介绍代理存储背景下的可验证计算.最后对可验证计算未来的发展方向进行展望.
-
关键词
可验证计算
交互式证明系统
全同态加密
同态MAC
同态签名
-
Keywords
verifiable computation
interactive proof
fully homomorphic encryption
homomorphic MAC
homomorphic signature
-
分类号
TP338.8
[自动化与计算机技术—计算机系统结构]
TP309
[自动化与计算机技术—计算机系统结构]
-