【计算机科学】【2014.10】云端安全数据共享

本文为美国北达科他州立大学（作者：Revathi Dhamotharan）的硕士论文，共42页。

由于云存储维护成本低，被广泛用于数据共享。但是，在云端保护数据也是必要的。云上的安全数据共享主要集中在：a）隐私和保密性；b）密钥管理和加密；c）无需重新加密的安全数据共享；d）前向和后向访问控制。当用户想要共享数据时，它向可信方发送请求，可信方生成一个对称密钥，用于加密共享的数据。此密钥用于计算受信任方和用户的两个密钥共享。使用安全覆盖删除密钥。使用高级Petri网、SMT库和Z3求解器对其工作进行了形式化验证。它是在Visual Studio中实现的，并基于各种操作的时间消耗对其性能进行了评估，这表明它有可能被有效地用于云中的安全数据共享。

Cloud storage is widely used for sharing data due to low cost maintenance. But, it is also necessary to secure data on cloud. Secure Data Sharing in Cloud focuses mainly on: a) privacy and confidentiality, b) key management and encryption, c) secure data sharing without re-encryption and d) forward and backward access control. When user wants to share data, it sends request to trusted party that generates a symmetric key which is used to encrypt the data for sharing. This key is used to compute two key shares for trusted party and user. The key is deleted using secure overwriting. Its working was formally verified using High Level Petri Nets, SMT Library, and Z3 solver. It was implemented in Visual Studio and its performance was evaluated based on time consumption for various operations which revealed that it has the potential to be effectively used for secure data sharing in cloud.

1. 引言
2. 相关工作
3. 安全数据共享
4. 形式分析
5. 性能评估
6. 结论

更多精彩文章请关注公众号：