| 基于管道的TCB扩展模型 |
| 其他题名 | channel-based tcb extension model
|
| 廖建华; 赵勇; 沈昌祥
|
| 2010
|
| 发表期刊 | 北京工业大学学报
 |
| ISSN | 0254-0037
|
| 卷号 | 36期号:5页码:592-596 |
| 摘要 | 为解决当前系统环境中应用安全与系统安全互相独立而存在的问题,提出了安全管道和TCB扩展的概念,给出了安全管道的形式化描述,并抽象出一种基于安全管道的TCB扩展模型,说明如何利用TCB扩展构建安全机制间的信息交互机制,以实现不同安全机制之间的统一.通过对TCB扩展模型的安全性分析,进一步说明了模型的科学性和现实可行性. |
| 关键词 | Tcb扩展
安全管道
应用安全机制
系统安全机制tcb Extension
Security Channel
Application Security Mechanism
Operation System Security Mechanism
|
| 部门归属 | 北京大学信息科学技术学院;中国科学院软件研究所信息安全国家重点实验室;北京工业大学计算机学院;
|
| 学科领域 | Computer Science
|
| 语种 | 中文
|
| 内容类型 | 期刊论文
|
| URI标识 | http://ir.iscas.ac.cn/handle/311060/9896
|
| 专题 | 信息安全国家重点实验室
|
推荐引用方式
GB/T 7714 |
廖建华,赵勇,沈昌祥. 基于管道的TCB扩展模型[J]. 北京工业大学学报,2010,36(5):592-596.
|
| APA |
廖建华,赵勇,&沈昌祥.(2010).基于管道的TCB扩展模型.北京工业大学学报,36(5),592-596.
|
| MLA |
廖建华,et al."基于管道的TCB扩展模型".北京工业大学学报 36.5(2010):592-596.
|
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。
修改评论