Institutional Repository
| 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 | |
| Source | Tongxin Xuebao/Journal on Communications
 |
| ISSN | 1000-436X |
| Volume | 34Issue:5Pages:31-41 |
| English 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 validity of the analysis method based on the extended LS2.; 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 validity of the analysis method based on the extended LS2. |
| Indexed Type | EI |
| Keyword | Communication Technology |
| Department | (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 |
| Language | 中文 |
| Content Type | 期刊论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/15629 |
| Collection | 中国科学院软件研究所 |
| Recommended Citation 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. |
| Files in This Item: | There are no files associated with this item. | |||||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment