Analyzing the trust chain of trusted virtualization platform based on the extended LS²

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 the LS2,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 va-lidity of the analysis method based on the extended LS2.

Keywords

• trusted computing;trusted virtualization platform;logic of secure system;trust chain;virtual root of trust