云计算框架下大规模科学计算安全外包协议研究

Recently, cloud computing is developing rapidly in the fields of both scientific research and IT industry. As compared to setting up and maintaining their own computing infrastructures, the clients can gain substantially money saving by using cloud computing. Despite the tremendous benefits, security is the primary obstacle that prevents the wide adoption of this promising computing paradigm. Therefore, this project attempts to investigate the theory and realization of large-scale sciticfic computing outsourcing protocol under the cloud computing paradigm. This project focuses on how to realize the proposed four goals: correctness, security (input/output privacy), high-efficiency, result verifiability. Based on the previous study, the efficiency assessment process is identified clearly, which enables the proposed efficicent protocols to be deployed in real world application immediately. Furthermore, many techniques (e.g., permuation technique, Monte Carlo technique) are introduced to construct protocols for secure outsourcing. Through analysis and simulations, it is shown that the proposed protocols are secure and highly efficient and are able to provide tradeoff between the probability of successful result verification and efficiency in applications, which improves the deployment flexibility of the proposed protocols.

近年来，云计算在学术界以及信息产业界迅猛地发展。众所周知，采用云计算架构可以大幅度地为客户节约计算成本，因为客户不需要自己去购买和维护昂贵的计算设备。尽管云计算拥有诸多优点，但安全问题是阻碍云计算发展的主要障碍。因此，本项目致力于研究云计算架构下大规模科学计算安全外包协议的理论与实现等问题。其研究重点是实现外包协议的四个目标：正确性、安全性（输入/输出私密性）、高效性和结果可验证性。在已有研究的基础上，项目组提出了完整的效率评估实验思路，这使得本项目所设计的高效率的协议可以立即在实际工程中进行实施与应用。同时，本项目拟采用诸多技术手段（如置换加密技术、蒙特卡罗验证算法等）来构建协议。通过初步理论分析和实验证明，本项目所构建的协议非常的安全、高效，并且项目协议允许在工程中通过参数的选择提供验证成功概率和效率的折中方案，提高了安全外包协议应用的灵活性。

近年来，云计算在学术界以及信息产业界迅猛地发展。云计算使资源受限的客户端能够经济地将其巨大的计算工作负载外包给强大的云服务器。这种有前途的计算范例能够实现客户机-云协同计算。它还带来了新的安全问题和挑战，例如输入/输出隐私和效率。由于大矩阵秩分解计算在科学与工程领域普遍存在，因此，本项目致力于研究云计算架构下大规模科学计算安全外包协议的理论与实现等问题。重点研究了实现外包协议的四个目标：正确性、安全性（输入/输出私密性）、高效性和结果可验证性。在已有研究的基础上，项目组提出了完整的效率评估实验思路，这使得本项目所设计的高效率的协议可以立即在实际工程中进行实施与应用。同时，本项目采用了诸多技术手段（如混沌密码学、多智能体优化、博弈论等）来构建协议。通过初步理论分析和实验证明，本项目所构建的协议非常的安全、高效，并且项目协议允许在工程中通过参数的选择提供验证成功概率和效率的折中方案，提高了安全外包协议应用的灵活性。