云存储允许用户将数据存储在远程服务器上,通过将数据外包,用户可以减轻数据管理以及存储的负担。但是,安全的数据删除很少被大家所关注但它确是云存储中关键而具有挑战性的问题。云服务的显著特点如多租户、虚拟化和灵活性等特点使得逻辑上被删除的数据很容易暴露给非授权用户。此外,云服务器可能会为了隐藏的商业利益而不遵循用户的要求对数据进行删除。因此,可证明的数据删除对于云用户的隐私保护十分必要,而且也是云存储服务的重要组成部分。如何实现可证明的数据删除是一个挑战,本文针对这一问题,研究了可证明数据删除的目标,并形式化了它的安全模型。通过借鉴已有的密码学原语及认证的数据结构,本文提出了两个云存储中的可证明数据删除方案,具体工作如下:1.总结了云数据删除方案的研究现状,现有的云数据确定性删除研究大多是基于时间的删除,即用户在创建文件时,需预先确定一个过期时间,到达过期时间后,可信的密钥管理中心将会删除相应的密钥,从而使得文件不可恢复,或者通过撤销策略,使密钥管理中心移除相应的控制密钥,使得文件无法解密,这类方案中数据的删除过于依赖可信的密钥管理中心,容易出现单点失效问题,而引入多个密钥管理中心则会带来较大的计算开销和通信开销。2.提出了一个可证明的数据转移与删除方案,它能实现数据在两个云之间转移时的数据完整性,可用性,以及已转移数据的安全删除。特别地,通过结合PDP和可证明的数据删除,方案不仅允许云服务器生成一个简洁的证明从而使用户相信外包数据被完整地转移到了另一个云服务器,同时也支持之前的云服务器向数据拥有者证明被转移数据的删除。由于用户的存储空间和带宽有限,方案使用了较小的资源开销来实现安全的数据转移与删除。3.利用基于属性的加密原语提出了一种新的方法来解决数据的安全删除问题。具体来说,通过密钥策略的基于属性的撤销方法实现用户对文件的细粒度访问以及可验证的数据删除。方案将外包数据与属性相关联,通过撤销访问文件所必须的属性使得任何人都无法恢复已删除的数据,从而可验证地删除数据。方案的构建使用了属性撤销密码原语和MHT以实现细粒度的数据访问和可验证的云数据删除。安全性证明和实现结果展示了方案的安全性和实用性。