analyzing the trust chain of trusted virtualization platform based on the extended ls2

ISCAS OpenIR

	analyzing the trust chain of trusted virtualization platform based on the extended ls2
	Chang De-Xian; Feng Deng-Guo; Qin Yu; Zhang Qian-Ying
	2013
发表期刊	Tongxin Xuebao/Journal on Communications
ISSN	1000-436X
卷号	34 期号:5 页码:31-41
摘要	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², 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 LS².; 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², 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 LS².
收录类别	EI
关键词	Communication Technology
部门归属	(1) Institute of Software Chinese Academy of Sciences Beijing 100190 China; (2) Graduate University of Chinese Academy of Sciences Beijing 100049 China; (3) 3rd Institute PLA Information Engineering University Zhengzhou 450004 China
语种	中文
内容类型	期刊论文
URI标识	http://ir.iscas.ac.cn/handle/311060/15629
专题	中国科学院软件研究所
推荐引用方式 GB/T 7714	Chang De-Xian,Feng Deng-Guo,Qin Yu,et al. analyzing the trust chain of trusted virtualization platform based on the extended ls2[J]. Tongxin Xuebao/Journal on Communications,2013,34(5):31-41.
APA	Chang De-Xian,Feng Deng-Guo,Qin Yu,&Zhang Qian-Ying.(2013).analyzing the trust chain of trusted virtualization platform based on the extended ls2.Tongxin Xuebao/Journal on Communications,34(5),31-41.
MLA	Chang De-Xian,et al."analyzing the trust chain of trusted virtualization platform based on the extended ls2".Tongxin Xuebao/Journal on Communications 34.5(2013):31-41.