云服务是指以云计算平台为依托,通过网络向用户提供按需分配、按量计费的IT服务。由于近年来云安全事故频发,故而引发了用户对云服务提供商的信任问题。以证明平台可信性为目标的远程证明是可信计算技术的重要安全机制,对于云计算平台,传统的远程证明方案不能保证平台配置隐私性,而且证明粒度粗、灵活性差,不能表述云用户差异化的安全期望。本文通过引入基于属性的加密机制,提出了基于KP-ABE算法的远程证明、基于CP-ABE算法的远程证明和基于属性签名的远程证明,针对云环境下虚拟机迁移引发的安全问题,以及用户对虚拟机迁移的不可控和不可验证,提出基于属性加密的虚拟机可信迁移方法,允许云用户定义迁移策略,采用基于CP-ABE算法的远程证明来验证云服务的可信度,确保运行环境满足用户安全策略要求。随着云服务业务的拓展,不同云用户也对云计算环境提出了不同的安全需求。正如云用户对云计算环境有不同的性能需求,他们也有不同的安全需求。本文提出了一种用户可定义的可信云服务模型,其允许云服务提供商根据云用户的实际需求提供安全服务,同时该模型采用基于属性签名的远程证明来支持云用户对当前服务器的安全状态是否满足其安全策略的验证。最后,基于Xen虚拟可信平台对提出的模型进行了验证,证明了该远程证明方案的可用性和合理性。