基于变长认证跳表的分布式动态数据持有证明模型

摘要

动态数据持有证明(Dynamic Provable Data Possession,DPDP)是云存储中数据完整性验证的重要方法.但是,DPDP在分布式环境中应用时存在代价开销较高、对客户端不透明等问题.为此,文章将变长认证跳表(Flexible Length-based Authenticated Skip List,FlexList)可以很好地支持DPDP动态更新的优势与分布式环境结合,构建了基于FlexList的分布式动态数据持有证明模型(D-DPDP-FlexList).该模型包括3种实体:中控服务器、存储服务器以及用户.存储服务器和中控服务器构成服务器端,其内部结构对用户是透明的,只通过中控服务器向用户提供服务.因此,用户无需针对服务器结构执行预处理操作,服务器端的可扩展性得到了有效增强.分布式变长认证跳表部署方法和多副本存储方式的采用降低了服务器的响应时间,提高了数据的可用性.文章给出了模型的形式化描述、实体间交互协议以及模型的安全性分析.相关测试验证了文章模型在分布式环境中的可用性.