云计算是分布式处理、并行处理和网格计算的发展。云存储的概念与云计算类似。它是指通过服务器集群应用、网格或分布式文件系统等技术将网络中大量的处于不同计算机、不同类型的存储设备通过网络和应用软件集合起来协同工作，共同对外提供数据存储和业务访问功能的系统。虽然云存储的优势非常多，但对于一种新兴的技术，仍然存在一些亟待解决的问题。云存储意味着数据存储到用户所掌控不到的机器上。那么，用户数据是否真的安全是用户所关心的首要问题。特别是它需要一个有效的机制证明用户存储在不可信服务器上的数据可用性与完整性。远程、公开地验证不可靠服务器上所存储数据的完整性并同时支持数据动态操作是云存储可证明数据安全的一个重要的挑战。尽管当前对于云存储中公开验证与动态数据操作的研究取得了很多成果，但是其中仍然存在一些效率与安全方面的问题。　　 本文分析了当前研究中基于默克尔哈希树来验证云存储数据完整性的方案存在的效率与安全方面的问题，构造了一种带相对叶结点序号的动态默克尔哈希树，并根据此树的结构重新设计了查找与验证算法，根据此算法设计了一种改进的可公开证明数据安全的动态数据完整性检验方案。该方案不仅能够公开验证云存储环境下的数据完整性以及支持动态数据操作，而且按照结点序号查找叶结点、动态插入、删除与更新数据能够使公开验证与数据动态操作更加高效安全。本方案采用动态默克尔树综合管理数据块标签数据与签名数据，与原方案相比，在签名管理过程中不必重新查找签名，在一定程度上降低了系统整体的时间复杂度。分析了本方案的算法效率和安全性，结果表明本方案的动态数据操作、数据完整性公开验证的时间复杂度实际达到O(logn)，相对于原方案的O(n)而言，是高效且安全的。并根据实际应用中不同的需求，设计了系统的性能均衡指标，通过设定不同的参数，使系统达到与需求相一致的性能，更加具有可行性。设计了本方案的原型系统，根据对数据完整性检验的实验测试表明，本方案是可行的。