| A Separated Domain-Based Kernel Model for Trusted Computing |
| |
| 作者姓名： | FANG Yanxiang SHEN Changxiang XU Jingdong WU Gongyi |
| |
| 作者单位： | [1]College of Information Technical Science, Nankai University, Tianjin 300071, China [2]Naval Institute of Computing Technology, Beijing 100841, China |
| |
| 基金项目： | Supported by the National Basic Research Program of China （G1999035801） |
| |
| 摘 要： | This paper fist gives an investigation on trusted computing on mainstream operation system （OS）. Based on the observations, it is pointed out that Trusted Computing cannot be achieved due to the lack of separation mechanism of the components in mainstream OS. In order to provide a kind of separation mechanism, this paper proposes a separated domain-based kernel model （SDBKM）, and this model is verified by non-interference theory. By monitoring and simplifying the trust dependence between domains, this model can solve problems in trust measurement such as deny of service （DoS） attack, Host security, and reduce the overhead of measurement.
|
| 关 键 词： | 无干扰 分离核心 信任计算 核心模型 |
| 文章编号： | 1007-1202（2006）06-1424-05 |
| 收稿时间： | 2006-05-12 |
A separated domain-based kernel model for trusted computing |
| |
| FANG Yanxiang SHEN Changxiang XU Jingdong WU Gongyi.A Separated Domain-Based Kernel Model for Trusted Computing[J].Wuhan University Journal of Natural Sciences,2006,11(6):1424-1428. |
| |
| Authors: | Fang Yanxiang Shen Changxiang Xu Jingdong Wu Gongyi |
| |
| Institution: | (1) Present address: College of Information Technical Science, Nankai University, 300071 Tianjin, China;(2) Naval Institute of Computing Technology, 100841 Beijing, China |
| |
| Abstract: | This paper fist gives an investigation on trusted computing on mainstream operation system (OS). Based on the observations, it is pointed out that Trusted Computing cannot be achieved due to the lack of separation mechanism of the components in mainstream OS. In order to provide a kind of separation mechanism, this paper proposes a separated domain-based kernel model (SDBKM), and this model is verified by non-interference theory. By monitoring and simplifying the trust dependence between domains, this model can solve problems in trust measurement such as deny of service (DoS) attack, Host security, and reduce the overhead of measurement. |
| |
| Keywords: | noninterference teory separation kernel trusted computing |
| 本文献已被 CNKI 维普 SpringerLink 等数据库收录！ |
