文章针对基础设施即服务(IaaS)的2个安全问题,通过使用计算的协议组合逻辑对协议进行安全性证明,能够确保经过5个步骤的协作,可以形成以信任基(TPM 可信第三方)为基础的用户与服务提供商之间的信任链条,从而解决提出的2个安全问题。