可信管道模型研究  

Research of trusted channel model

作　　者：李勇[1] 李光[2] 沈昌祥[3] 

机构地区：[1]解放军信息工程大学电子技术学院,郑州450004 [2]华北计算技术研究所,北京100083 [3]北京工业大学计算机学院,北京100022

出　　处：《计算机工程与应用》2011年第26期70-73,82,共5页Computer Engineering and Applications

基　　金：国家高技术研究发展计划(863)No.2009AA01Z437~~

摘　　要：针对可信计算基(TCB)可信扩展过程中涉及的隔离问题,提出了可信管道模型。对可信管道进行了形式化描述,给出了构成元素、建立规则和传输规则;分析了基本属性,证明了可信管道支撑下的TCB可信扩展符合非传递无干扰模型;分析了可信管道模型的安全性;给出了一个可信管道的实施框架。According to the problem of space isolating in the process of Trusted Computing Base（TCB） trusted expanding,a trusted channel model is proposed.The components of the trusted channel and two rules which are the rule of making trusted channel and the rule of transporting data are formally described.The secure property of trusted channel is analyzed.At last the trusted channel is proved to conform to the intransitive noninterference model,and an implementation framework is put forward.

关 键 词：可信计算 可信计算基 可信管道 无干扰 

分 类 号：TP309[自动化与计算机技术—计算机系统结构]