%0 Journal Article
%T 容忍非信任组件的可信终端模型研究
%A 秦晰
%A 常朝稳
%A 沈昌祥
%A 高丽
%J 电子学报
%P 934-939
%D 2011
%X 可信计算规范要求可信计算平台上运行的所有组件均要保证可信,这一机制严重制约了可信计算平台的应用.本文提出一种容忍非信任组件的可信终端模型,与现有可信计算平台相比,该模型允许非信任组件的存在,但同时能保证安全结果可预测和可控性.模型分为可信域和容忍非信任组件的不可信域.基于信息流无干扰理论和域间无干扰思想,给出非信任组件容忍机制并推导出可信终端应满足的充分条件.在此基础上给出具体的物理模型设计,并证明该模型为可信终端模型.
%K 可信终端模型
%K 非信任组件
%K 无干扰
%K 嵌入式可信系统
%U http://www.ejournal.org.cn/CN/abstract/abstract3831.shtml