云储存由于按需使用，不受地域限制的资源池供给，避免了硬件设备维护和数据维护开销等优点，受到广泛运用。但是，云存储也存在一些安全问题:如何保证用户数据的完整性和机密性，以及用户身份保护问题，影响着云存储的进一步发展。针对上述问题，本文在研究相关理论的基础上，提出了一些改进协议。同时，利用串空间理论形式化的证明改进协议可以确保数据的完整性和机密性。最后，本文提出了一个可以一次性生成多个会话密钥，且可防止中间人攻击的会话密钥协商算法。　　本文研究内容主要分为三个部分:　　一、分析了Wang等人提出的云安全存储公共审计隐私保护协议，并指出该协议存在安全漏洞，攻击者可以利用这些漏洞实施中间人攻击和重放攻击。在此基础上，本文提出了相应改进方案。　　二、分析了K.Govindaa等人提出的群签名身份匿名和安全数据存储协议，指出该协议存在一些漏洞，攻击者可以利用这些漏洞享用免费的云存储服务。针对这些漏洞，本文提出了改进协议，并运用串空间模型理论证明改进协议的安全性。最后，通过性能仿真发现，改进的协议要优于原协议。　　三、提出了一个会话密钥协商协议，该协议可以一次生成多个会话密钥，且能防止中间人攻击。