Journal on Communications
Previous Articles Next Articles
Online:
Published:
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.
0 / / Recommend
Add to citation manager EndNote|Reference Manager|ProCite|BibTeX|RefWorks
URL: https://www.infocomm-journal.com/txxb/EN/
https://www.infocomm-journal.com/txxb/EN/Y2013/V34/I5/4