外援存储中的数据完整性验证技术研究

云存储通过提供可伸缩、与位置无关、价格便宜、应用透明的外援存储服务，已经成为云计算中一个较快的利润增长点，但传统的数据完整性验证技术已无法满足外援存储中"无需下载即可验证"的要求，而且现有完整性验证方案也存在着一些安全问题。针对上述安全需求与问题，本课题拟采用现代密码学与安全协议构造技术，在交互式证明系统（IPS）框架内探讨外援数据完整性验证中的基本密码学问题，包括：采用零知识证明（ZKP）系统研究外援数据验证中的数据隐私保护问题；采用多证明者的零知识证明（MP-ZKP）研究分布式存储的有效协作验证问题。在此基础上，针对外援数据完整性验证中的验证服务效能展开研究，实现动态数据操作下的外援数据完整性验证方案设计，并解决数据验证中的调度策略与优化问题。上述研究将为高效、安全的云计算环境构建以及完整性审计服务提供一种有效解决方案，并为解决各种新兴网络服务中数据安全问题奠定理论基础。

云存储通过提供可伸缩、与位置无关、价格便宜、应用透明的外援存储服务，已经成为云计算中一个较快的利润增长点，但传统的数据完整性验证技术已无法满足外援存储中"无需下载即可验证"的要求，而且现有完整性验证方案也存在着一些安全问题。针对上述安全需求与问题，本课题采用现代密码学与安全协议构造技术，在交互式证明系统（IPS）框架内探讨外援数据完整性验证中的基本密码学问题，包括：首次提出采用零知识证明（ZKP）系统研究外援数据验证中的数据隐私保护问题；最早提出了采用多证明者的零知识证明（MP-ZKP）研究分布式存储的有效协作验证问题，对多云环境下的大数据存储安全和数据迁移具有重要意义。在此基础上，针对外援数据完整性验证与云审计中的验证服务效能展开研究，实现动态数据操作下的外援数据完整性验证方案设计，并解决云存储中大数据验证中的调度策略与优化问题。上述研究将为高效、安全的云计算环境构建以及完整性审计服务提供一套有效解决方案，并为解决各种新兴网络服务中数据安全问题奠定理论基础。