基于管道的TCB扩展模型
为解决当前系统环境中应用安全与系统安全互相独立而存在的问题,提出了安全管道和TCB扩展的概念,给出了安全管道的形式化描述,并抽象出一种基于安全管道的TCB扩展模型,说明如何利用TCB扩展构建安全机制间的信息交互机制,以实现不同安全机制之间的统一.通过对TCB扩展模型的安全性分析,进一步说明了模型的科学性和现实可行性.
TCB扩展、安全管道、应用安全机制、系统安全机制
36
TP309(计算技术、计算机技术)
国家"八六三"计划资助项目2009AA01Z437;国家"九七三"计划资助项目2007CB311100;信息安全国家重点实验室开放课题
2011-05-23（万方平台首次上网日期，不代表论文的发表时间）
592-596
