可信管道模型研究

摘要：

针对可信计算基(TCB)可信扩展过程中涉及的隔离问题,提出了可信管道模型.对可信管道进行了形式化描述,给出了构成元素、建立规则和传输规则;分析了基本属性,证明了可信管道支撑下的TCB可信扩展符合非传递无干扰模型；分析了可信管道模型的安全性；给出了一个可信管道的实施框架.

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

所属期刊栏目：47

分类号：TP309(计算技术、计算机技术)

资助基金：国家高技术研究发展计划863the National High-Tech Research and Development Plan of China under Grant 2009AA01Z437

在线出版日期：2012-01-14（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：70-73,82