SELinux安全策略分析工具的研究
| 致谢 | 第1-6页 |
| 摘要 | 第6-7页 |
| ABSTRACT | 第7-10页 |
| 1 绪论 | 第10-16页 |
| ·课题研究背景 | 第10-12页 |
| ·国内外研究现状 | 第12-14页 |
| ·论文研究内容与技术路线 | 第14-15页 |
| ·论文组织结构 | 第15-16页 |
| 2 SELinux安全策略及分析方法 | 第16-32页 |
| ·SELinux安全机制 | 第16-21页 |
| ·SELinux安全体系结构 | 第16-18页 |
| ·SELinux安全策略模型 | 第18-21页 |
| ·SELinux安全策略描述 | 第21-29页 |
| ·SELinux策略配置语言 | 第21-25页 |
| ·SELinux安全策略文件结构 | 第25-29页 |
| ·SELinux安全策略分析方法 | 第29-31页 |
| ·访问控制空间分析法 | 第29-30页 |
| ·信息流分析法 | 第30-31页 |
| ·本章小结 | 第31-32页 |
| 3 SELinux安全策略分析方案设计 | 第32-44页 |
| ·安全策略分析目标 | 第32-33页 |
| ·安全策略分析模型构建 | 第33-38页 |
| ·策略分析关键算法设计 | 第38-43页 |
| ·有效性分析算法设计 | 第38-41页 |
| ·完整性分析算法设计 | 第41-43页 |
| ·本章小结 | 第43-44页 |
| 4 原型实现与结果分析 | 第44-56页 |
| ·SELinux安全策略分析原型实现 | 第44-49页 |
| ·参考策略转换模块 | 第45页 |
| ·安全策略读取模块 | 第45-47页 |
| ·安全策略分析模块 | 第47-49页 |
| ·分析结果显示模块 | 第49页 |
| ·原型测试方案设计 | 第49-52页 |
| ·原型测试结果及分析 | 第52-55页 |
| ·有效性测试结果及分析 | 第52-53页 |
| ·完整性测试结果及分析 | 第53-55页 |
| ·本章小结 | 第55-56页 |
| 5 结束语 | 第56-58页 |
| ·论文工作总结 | 第56-57页 |
| ·研究展望 | 第57-58页 |
| 参考文献 | 第58-60页 |
| 附录 学生-教师系统安全策略文件 | 第60-64页 |
| 作者简历 | 第64-66页 |
| 学位论文数据集 | 第66页 |
