可信管道模型研究

• 作者: 李光 李勇 沈昌祥
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 可信计算 可信计算基 可信管道 无干扰
• 年，卷（期）: 2011,（26）
• 所属期刊栏目: 网络、通信、安全
• 页码范围: 70-73,82
• 分类号: TP309
• 字数: 7686字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.2011.26.021

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	沈昌祥	北京工业大学计算机学院	37	641	13.0	24.0
2	李光		6	109	5.0	6.0
3	李勇	解放军信息工程大学电子技术学院	11	45	5.0	6.0