随着科技与网络的不断发展,云计算逐渐得到了人们的广泛应用。云计算发展的同时也带动了云存储的发展。由于云存储可以为用户提供随取随用,按需租用的便捷服务,同时也减少了用户本地的存储成本,故越来越多的用户选择将数据外包给云服务商(Cloud Service Provider,CSP)。然而云存储不仅使用户失去了对数据的直接控制权,而且使用户面临数据被泄露、篡改和删除的风险,此外,云存储的安全问题日益凸显,故而研究关于用户在云存储中的数据完整性验证问题具有重要意义。数据持有性证明(Provable Data Possession,PDP)方案可以帮助用户验证云存储中数据的完整性情况。而现有的PDP方案中,存在以下两方面的问题:一方面,PDP方案主要从用户角度思考问题,防止CSP欺骗用户,而忽略了用户欺骗CSP的问题;另一方面,在支持用户数据共享的PDP方案中,对用户的撤销是其一项重要的功能,而如何实现高效的用户撤销是一个值得研究的问题。故本文从以上两个方面进行相关的研究,主要的研究工作及贡献如下:(1)针对用户欺骗CSP的问题,提出了一个具有不可否认功能的动态PDP(SB-NR-DPDP)方案。给出了一种新的动态存储结构,使其更好地满足方案的不可否认特性;基于新的动态结构,提出了相应的动态操作算法,以实现方案的动态特性。最后通过理论分析与实验验证,表明了该方案于其他方案相比,具有较少的计算、存储开销和较高的安全性。(2)针对如何提高用户撤销效率的问题,提出了一个高效可撤销的无证书PDP(RE-CL-PDP)方案。根据CL-PDP方案,构建了RE-CL-PDP方案的系统模型及定义;考虑到第三方的可信问题,提高了第三方的信任级别;方案将撤销功能托付于CSP来承担,从而减轻了KGC的计算负担;给出了方案的安全模型,证明了方案在椭圆离散对数下可以抵抗CL-PDP方案中敌手攻击模型;最后通过理论分析与实验验证,表明了该方案与其他方案相比,具有较少的计算、撤销开销和较高的可信性。