可证明安全的可信网络存储协议

？提出了一种高效的可信网络存储协议，协议只需两轮交互就实现了服务器与用户间的身份认证和密钥协商，同时在协议的第一轮交互中实现了对客户端平台身份的认证和平台完整性校验,改进了原来系统服务器遭受攻击易导致整个系统瘫痪的缺点,提高了系统的可靠性和协议的执行效率，在此基础上建立了用户与智能磁盘间的安全信道；最后利用ck模型证明了协议是sk安全的，用户与磁盘间的信道是安全信道，提高了系统数据的保密性、完整性和不可抵赖性。