基于管道的TCB扩展模型
文献类型：期刊论文
| 作者 | 廖建华 ; 赵勇 ; 沈昌祥 |
| 刊名 | 北京工业大学学报
 |
| 出版日期 | 2010 |
| 卷号 | 36期号:5页码:592-596 |
| 关键词 | TCB扩展 安全管道 应用安全机制 系统安全机制TCB extension security channel application security mechanism operation system security mechanism |
| ISSN号 | 0254-0037 |
| 其他题名 | channel-based tcb extension model |
| 中文摘要 | 为解决当前系统环境中应用安全与系统安全互相独立而存在的问题,提出了安全管道和TCB扩展的概念,给出了安全管道的形式化描述,并抽象出一种基于安全管道的TCB扩展模型,说明如何利用TCB扩展构建安全机制间的信息交互机制,以实现不同安全机制之间的统一.通过对TCB扩展模型的安全性分析,进一步说明了模型的科学性和现实可行性. |
| 学科主题 | Computer Science |
| 语种 | 中文 |
| 公开日期 | 2011-05-23 |
| 附注 | To solve the problems derived from isolation of application security mechanism and operation system security mechanism, firstly, the concept of security channel and TCB extension was proposed, and then formal description of security channel was given. By practices, a TCB extension model which based on security channel was obtained. This model could be used to explain how to build security channel between different security mechanisms in order to achieve uniform and eliminate conflicts of those security mechanisms. Finally the theory and practicality of this model with security analysis and engineering implementation were proven. |
| 源URL | [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. |
入库方式： OAI收割
来源：软件研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。