Abstract: Considering the effective formal analysis for the trust chain of the trusted virtualization platform, a trust chain model which includes the virtual machine and the virtual root of trust, was proposed firstly with the detail definition of the trusted properties. Through extending theLS2, it verified the correctness and uniqueness of the trust chain formally under some conditions. Analysis for the photosystem shows the generality of the proposed trust chain model and the validity of the analysis method based on the extended LS2.