MILS系统中分区间的信息流控制

摘要	第1-4页
Abstract	第4-8页
第一章 绪论	第8-16页
·多重独立等级安全	第8-11页
·MILS 的产生和发展	第8-9页
·MILS 体系结构相关研究综述	第9-11页
·信息流控制	第11-12页
·MILS 中的信息流控制问题	第12-13页
·本文主要工作及章节安排	第13-16页
·主要工作	第13-14页
·章节安排	第14-16页
第二章 MILS 系统架构分析	第16-26页
·分离内核层	第17-19页
·中间件层	第19-22页
·操作系统服务	第20页
·分区通信系统	第20-21页
·传统的网络中间件	第21-22页
·应用层	第22页
·MILS 架构分析	第22-26页
第三章 MILS 系统分区间的信息流控制	第26-50页
·MILS 中的分区机制	第26-29页
·时间分区	第27页
·空间分区	第27-28页
·分区的优势	第28-29页
·基于可信组件的信息流控制模型	第29-32页
·信息流控制策略	第32-35页
·基于格模型的多级安全策略	第33-34页
·降级策略	第34-35页
·信息流控制机制	第35-43页
·分离内核的控制机制	第36页
·MMR 的控制机制	第36-40页
·Guard 的控制机制	第40-43页
·分析与验证	第43-48页
·本章小结	第48-50页
第四章 分布式 MILS 中分区间的信息流控制	第50-64页
·分布式 MILS 中信息流控制模型	第50-52页
·分布式 MILS 中的信息流控制策略	第52-54页
·PCS 的信息流控制策略	第52-53页
·多层次的信息流控制策略框架	第53-54页
·PCS 的信息流控制机制	第54-58页
·分析与验证	第58-62页
·本章小结	第62-64页
第五章 工作总结与后续工作	第64-66页
致谢	第66-68页
参考文献	第68-71页
研究成果	第71-72页