| 基于无干扰理论的可信链模型 |
| |
| 引用本文： | 赵佳,沈昌祥,刘吉强,韩臻.基于无干扰理论的可信链模型[J].计算机研究与发展,2008,45(6):974-980. |
| |
| 作者姓名： | 赵佳 沈昌祥 刘吉强 韩臻 |
| |
| 作者单位： | 1. 北京交通大学计算机与信息技术学院,北京,100044
2. 北京交通大学计算机与信息技术学院,北京,100044;北京工业大学计算机学院,北京,100022 |
| |
| 基金项目： | 国家重点基础研究发展计划(973计划)
,
国家高技术研究发展计划(863计划) |
| |
| 摘 要： | 可信计算的相关研究已成为当前国内外信息安全方面的研究热点和趋势之一,可信计算技术也成为构建安全计算机系统行之有效的新技术.目前可信计算理论的发展滞后于技术的发展,针对可信计算中可信链传递缺乏理论模型的问题,将无干扰理论引入到可信计算领域,提出了计算机系统可信的基本理论,从动态的角度建立了基于无干扰理论的可信链模型,并对该模型进行了形式化描述和验证,而且实现了基于Linux操作系统内核的可信启动过程.其实现思路对于可信计算理论的发展和应用具有很好的参考价值.
|
| 关 键 词： | 可信计算 可信计算平台 可信链 无干扰理论 可信根 |
| 修稿时间： | 2007年5月23日 |
A Noninterference-Based Trusted Chain Model |
| |
| Zhao Jia,Shen Changxiang,Liu Jiqiang,Han Zhen.A Noninterference-Based Trusted Chain Model[J].Journal of Computer Research and Development,2008,45(6):974-980. |
| |
| Authors: | Zhao Jia Shen Changxiang Liu Jiqiang Han Zhen |
| |
| Affiliation: | Zhao Jia1,Shen Changxiang1,2,Liu Jiqiang1,, Han Zhen1 1(School of Computer , Information Technology,Beijing Jiaotong University,Beijing 100044 )2(College of Computer Science , Technology,Beijing University of Technology,Beijing 100022) |
| |
| Abstract: | |
| |
| Keywords: | trusted computing trusted computing platform trusted chain noninterference theory trusted root |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
