Institutional Repository
| 基于管道的TCB扩展模型 | |
| Alternative Title | channel-based tcb extension model |
| 廖建华; 赵勇; 沈昌祥 | |
| 2010 | |
| Source | 北京工业大学学报
![]() |
| ISSN | 0254-0037 |
| Volume | 36Issue:5Pages:592-596 |
| English Abstract | 为解决当前系统环境中应用安全与系统安全互相独立而存在的问题,提出了安全管道和TCB扩展的概念,给出了安全管道的形式化描述,并抽象出一种基于安全管道的TCB扩展模型,说明如何利用TCB扩展构建安全机制间的信息交互机制,以实现不同安全机制之间的统一.通过对TCB扩展模型的安全性分析,进一步说明了模型的科学性和现实可行性. |
| Keyword | Tcb扩展 安全管道 应用安全机制 系统安全机制tcb Extension Security Channel Application Security Mechanism Operation System Security Mechanism |
| Department | 北京大学信息科学技术学院;中国科学院软件研究所信息安全国家重点实验室;北京工业大学计算机学院; |
| Subject | Computer Science |
| Language | 中文 |
| Content Type | 期刊论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/9896 |
| Collection | 信息安全国家重点实验室 |
| Recommended Citation 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. |
| Files in This Item: | ||||||
| File Name/Size | DocType | Version | Access | License | ||
| 基于管道的TCB扩展模型.pdf(546KB) | 开放获取 | -- | Application Full Text | |||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment