基于管道的TCB扩展模型
| Data(s) |
2010
|
|---|---|
| Resumo |
为解决当前系统环境中应用安全与系统安全互相独立而存在的问题,提出了安全管道和TCB扩展的概念,给出了安全管道的形式化描述,并抽象出一种基于安全管道的TCB扩展模型,说明如何利用TCB扩展构建安全机制间的信息交互机制,以实现不同安全机制之间的统一.通过对TCB扩展模型的安全性分析,进一步说明了模型的科学性和现实可行性. |
| Identificador | |
| Idioma(s) |
中文 |
| Fonte |
廖建华;赵勇;沈昌祥.基于管道的TCB扩展模型,北京工业大学学报,2010,36(5):592-596 |
| Palavras-Chave | #Computer Science #TCB扩展 #安全管道 #应用安全机制 #系统安全机制TCB extension #security channel #application security mechanism #operation system security mechanism |
| Tipo |
期刊论文 |
