随着云存储技术的飞速发展以及数据的海量增长,越来越多的人将数据存储在云服务器。然而,尽管云存储带来诸多好处,由于宕机等事故的发生,存储在云服务器的数据的完整性也引起了用户的担忧与质疑。当云存储用户将自己的信息、数据存储在云端时,作为数据所有者的他们失去了对自己数据的直接物理控制,无法对数据的完整性进行检测,往往直到访问数据时才发现数据遭到损坏。数据持有性证明就是一种用来对数据完整性进行验证的技术。我们称检测数据完整性为对数据完整性进行审计。针对目前的云存储数据持有性证明方案大多不支持第三方审计以及批审计,不支持数据文件的动态更新等问题,本文提出了一种支持第三方审计的动态数据持有性证明方案,实现不用取回数据即可对数据的完整性进行检测。在本文的方案中通过采用可公开验证的算法实现第三方审计,第三方可以代替云存储用户对其数据的完整性进行审计;通过选择随机参数保护云存储用户的信息不向第三方审计者泄露。通过理论推导得出了方案的正确性,讨论了完整性检测的可信度,通过可证明安全性理论证明了方案的安全性。提出了一种支持安全的批审计的方案,实现了第三方审计者可以同时处理来自不同云存储用户的审计请求,证明了如果单个审计是无效的,批审计将以极大地概率失败,给出了批审计的改进策略,也讨论了当批审计失败时,找出其中的无效审计的方法。提出了一种支持数据动态更新的方案,实现数据修改、插入和删除操作。方案中设计了一种MB树认证数据结构,给出了对数据标签进行验证的方法,并比较了 MB树和Merkle哈希树的深度。对本文方案进行了仿真实验,通过将实验结果与PDP(Provable Data Possession)方案进行比较可知,本文的基本方案在保护云存储用户信息的基础上,与PDP方案时间开销类似。本文提出的安全的批审计方案确实大幅度减少了审计时间,改进后的方法进一步减少了审计时间。本文提出的动态方案比其它方案的审计效率要高。