Analyzing the trust chain of trusted virtualization platform based on the extended LS<sup>2</sup>

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 LS<sup>2<...

Full description

Bibliographic Details
Main Authors: De-xian CHANG, Deng-guo FENG, Yu QIN, Qian-ying ZHANG
Format: Article
Language:zho
Published: Editorial Department of Journal on Communications 2013-05-01
Series:Tongxin xuebao
Subjects:
Online Access:http://www.joconline.com.cn/thesisDetails#10.3969/j.issn.1000-436x.2013.05.004