可证明安全的代理计算的研究

项目名称： 可证明安全的代理计算的研究

项目编号： No.61472364

项目类型： 面上项目

立项/批准年度： 2015

项目学科： 自动化技术、计算机技术

项目作者： 邵俊

作者单位： 浙江工商大学

项目金额： 83万元

中文摘要： 代理计算是近年来密码学领域的研究热点之一，它也是云计算进一步发展的重要安全理论基础之一。保密性和可验证性是代理计算两个基本安全属性。目前已有的代理计算研究成果主要集中在一般情形下（如单租户情形）如何获得保密性和可验证性，而对多恶意租户情况下的代理计算研究甚少。为此，本项目将对代理计算的如下问题展开研究：（1）研究多恶意租户情形下的代理计算的通信模型和安全模型；（2）研究如何设计支持通用代理计算的代理计算方案，并且所得代理计算方案能在所提安全模型中可证明安全；（3）研究如何设计支持某种指定代理计算的代理计算方案，使之在效率上更接近于实际要求，并且所得代理计算方案也能在所提安全模型中可证明安全；（4）对所设计的代理计算方案进行程序实例化，并提供必要的外部函数调用接口。

中文关键词： 可证明安全；代理计算；云计算；可验证计算；外包计算

英文摘要： Delegatable computation has recently become one of the hotest topics in the cryptography research field, and it is one of the fundamental security thoeries for cloud computing. Confidentiality and verifiability are two basic security requirements for delegatable computation. The current research on delegatable computation mainly focuses on how to obtain these two properties under the nomoral condition, i.e., one tenant environment. However, multiple malicious tenants environment is also popular in the real world. In review of this, this project will concentrate on the study of the following problems: (1) How to formalize the communication model and security model for the multiple malicious tenants environment; (2) How to design general-purpose delegatable computation schemes that can be proven-secure in the proposed security model; (3) How to design special-purpose delegatable computation schemes that are advanced in efficiency and can be also proven-secure in the proposed security model; (4) Implement the proposed delegatable computation schemes by using advanced programming languages, and provide the necessary interfaces for calling the corresponding functions.

英文关键词： provable security;delegatable computation;cloud computing;verifiable computation;outsourced computation