SELinux安全策略分析方法的研究

致谢	第1-6页
摘要	第6-7页
ABSTRACT	第7-10页
1 绪论	第10-17页
·课题研究背景	第10-11页
·国内外研究现状	第11-14页
·论文研究内容与技术路线	第14-15页
·论文组织结构	第15-17页
2 SELinux及其安全策略描述语言	第17-33页
·SELinux简介	第17-26页
·SELinux与Flask体系结构	第17-20页
·SELinux相关模型	第20-23页
·SELinux工作原理	第23-24页
·SELinux优缺点分析	第24-26页
·安全策略描述语言	第26-32页
·TE模型相关规则的定义	第26-29页
·RBAC模型相关规则的定义	第29-30页
·安全上下文相关规则的定义	第30-32页
·本章小结	第32-33页
3 安全策略分析工具的设计与实现	第33-59页
·基本思路	第33-37页
·基于完整性保护的最小TCB与非TCB主体的划分	第33-34页
·主体的访问控制空间的分析	第34-36页
·完整性冲突的确认与解决	第36-37页
·总体设计	第37-40页
·整体结构设计	第37-39页
·安全策略分析流程	第39-40页
·模块详细设计与实现	第40-58页
·信息提取模块	第40-48页
·策略语义分析模块	第48-50页
·主体访问空间构建模块	第50-56页
·完整性分析模块	第56-58页
·本章小结	第58-59页
4 原型测试与结果分析	第59-74页
·测试方案	第59-65页
·测试结果分析	第65-73页
·信息提取模块测试结果分析	第65-67页
·策略语义分析模块测试结果分析	第67-69页
·主体访问空间构建模块测试结果分析	第69-71页
·完整性分析模块测试结果分析	第71-73页
·本章小结	第73-74页
5 结束语	第74-78页
·论文工作总结	第74-75页
·研究展望	第75-78页
参考文献	第78-80页
作者简历	第80-82页
学位论文数据集	第82页