1. 信息工程大学电子技术学院,河南,郑州,450004
2. 北京工业大学,北京,100022
3. 信息工程大学电子技术学院河南郑州,450004
4. 北京工业大学北京,100022
纸质出版:2011
移动端阅览
秦晰, 常朝稳, 沈昌祥, 等. 容忍非信任组件的可信终端模型研究[J]. 电子学报, 2011,39(4):934-939.
QIN Xi, CHANG Chao-wen, SHEN Chang-xiang, et al. Research on Trusted Terminal Computer Model Tolerating Untrusted Components[J]. Acta Electronica Sinica, 2011, 39(4): 934-939.
可信计算规范要求可信计算平台上运行的所有组件均要保证可信
这一机制严重制约了可信计算平台的应用.本文提出一种容忍非信任组件的可信终端模型
与现有可信计算平台相比
该模型允许非信任组件的存在
但同时能保证安全结果可预测和可控性.模型分为可信域和容忍非信任组件的不可信域.基于信息流无干扰理论和域间无干扰思想
给出非信任组件容忍机制并推导出可信终端应满足的充分条件.在此基础上给出具体的物理模型设计
并证明该模型为可信终端模型.
The Trust Computing Group Specifications specify all components running on the trusted computing platform should be trusted
which seriously restrained the applications of trusted computing platform.This paper proposes a trusted terminal computer model tolerating untrusted components.Comparing with the existing trusted platforms
the model allows untrusted components loading and assures the security results be expected and controlled.The model includes trusted domains and untrusted domains tolerating untrusted components.With the non-interference theory
an untrusted component-tolerating mechanism is designed and reasons out the sufficient conditions about the trusted domain can run trustfully.Based on the theory model
provides a detailed physical model and proves it be a trusted terminal computer model.
0
浏览量
1239
下载量
5
CSCD
关联资源
相关文章
相关作者
相关机构
京公网安备11010802024621