中文摘要：

随着云计算的蓬勃发展，越来越多的用户在云端使用计算和存储资源，然而各种安全问题接踵而来。云计算和可信计算技术的融合研究将成为云安全领域的重要趋势，通过设计安全协议来保障整个云计算环境的安全性和可生存性。主要针对在云计算环境下的可信接入安全协议及其形式化证明，进行了归类综述和对比分析，最后指出可信云平台所面临的研究问题。

英文摘要：

Along with the rapid development of cloud computing, more and more users access to computing and storage resources. However, a variety of security issues come being. The fusion of cloud computing and trusted computing technology will become an important trend in the field of cloud security, protecting the security and survivability of the cloud computing environment by using security protocols. The paper mainly made a classified survey, and comparison and analysis on trusted connection security protocols and their formalisms in the cloud computing environment, finally addressed research topics on the trusted cloud platform.