期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
1
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于管道的TCB扩展模型
被引量：
2
1
作者
廖建华
赵勇
沈昌祥
《北京工业大学学报》
EI
CAS
CSCD
北大核心
2010年第5期592-596,共5页
为解决当前系统环境中应用安全与系统安全互相独立而存在的问题,提出了安全管道和TCB扩展的概念,给出了安全管道的形式化描述,并抽象出一种基于安全管道的TCB扩展模型,说明如何利用TCB扩展构建安全机制间的信息交互机制,以实现不同安全...
为解决当前系统环境中应用安全与系统安全互相独立而存在的问题,提出了安全管道和TCB扩展的概念,给出了安全管道的形式化描述,并抽象出一种基于安全管道的TCB扩展模型,说明如何利用TCB扩展构建安全机制间的信息交互机制,以实现不同安全机制之间的统一.通过对TCB扩展模型的安全性分析,进一步说明了模型的科学性和现实可行性.
展开更多
关键词
TCB扩展
安全
管道
应用
安全
机制
系统安全机制
在线阅读
下载PDF
职称材料
题名
基于管道的TCB扩展模型
被引量：
2
1
作者
廖建华
赵勇
沈昌祥
机构
北京大学信息科学技术学院
中国科学院软件研究所信息安全国家重点实验室
北京工业大学计算机学院
出处
《北京工业大学学报》
EI
CAS
CSCD
北大核心
2010年第5期592-596,共5页
基金
国家“八六三”计划资助项目(2009AA01Z437)
国家“九七三”计划资助项目(2007CB311100)
信息安全国家重点实验室开放课题
文摘
为解决当前系统环境中应用安全与系统安全互相独立而存在的问题,提出了安全管道和TCB扩展的概念,给出了安全管道的形式化描述,并抽象出一种基于安全管道的TCB扩展模型,说明如何利用TCB扩展构建安全机制间的信息交互机制,以实现不同安全机制之间的统一.通过对TCB扩展模型的安全性分析,进一步说明了模型的科学性和现实可行性.
关键词
TCB扩展
安全
管道
应用
安全
机制
系统安全机制
Keywords
TCB extension
security channel
application security mechanism
operation system security mechanism
分类号
TP309 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
基于管道的TCB扩展模型
廖建华
赵勇
沈昌祥
《北京工业大学学报》
EI
CAS
CSCD
北大核心
2010
2
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
