高级检索
检索提示：高级检索多个条件检索时是按照顺序运算的：如 A或B与C 即:(A或B)与C
[期刊论文]
可信管道模型研究
作者：
收录：
摘要：
针对可信计算基(TCB)可信扩展过程中涉及的隔离问题,提出了可信管道模型.对可信管道进行了形式化描述,给出了构成元素、建立规则和传输规则;分析了基本属性,证明了可信管道支撑下的TCB可信扩展符合非传递无干扰模型；分析了可信管道模型的安全性；给出了一个可信管道的实施框架.
关键词：
作者机构：
通讯作者信息：
电子邮件地址：
相关关键词：
相关文章：
2010，计算机学报
2008，计算机研究与发展
2010，计算机工程与应用
2011，计算机工程
来源 ：
计算机工程与应用
ISSN： 1002-8331
年份： 2011
期： 26
卷： 47
页码： 70-73,82
被引次数：
WoS核心集被引频次： 0
SCOPUS被引频次：
ESI高被引论文在榜： 0 展开所有
万方被引频次： 5
中文被引频次：
近30日浏览量： 1
归属院系：
全文获取
外部链接：
