摘要 | 第1-6页 |
ABSTRACT | 第6-8页 |
目录 | 第8-11页 |
第1章 绪论 | 第11-17页 |
·引言 | 第11-12页 |
·课题研究的背景及意义 | 第12-13页 |
·课题研究的现状及存在的问题 | 第12页 |
·本论文所涉及的领域 | 第12-13页 |
·本课题的研究意义 | 第13页 |
·论文的主要研究内容 | 第13-14页 |
·基于Linux LSM机制的主/客体标记及工程实现 | 第13页 |
·基于RBAC、DTE、BLP、Biba模型的访问控制机制的研究 | 第13-14页 |
·系统兼容性及执行效率的研究 | 第14页 |
·论文的组织结构 | 第14-17页 |
第2章 相关理论研究及技术 | 第17-25页 |
·Linux虚拟文件系统域LSM机制 | 第17-19页 |
·Linux虚拟文件系统 | 第17-18页 |
·Linux LSM机制 | 第18-19页 |
·安全模型的研究 | 第19-22页 |
·RBAC模型 | 第19-20页 |
·DTE模型 | 第20-21页 |
·多级安全MLS模型 | 第21-22页 |
·系统安全与可信 | 第22-23页 |
·系统安全的含义 | 第22-23页 |
·系统可信的含义 | 第23页 |
·本章小结 | 第23-25页 |
第3章 Linux系统主/客体标记设计与实现 | 第25-39页 |
·Linux内核核心数据结构 | 第25-29页 |
·进程描述符 | 第25-26页 |
·文件系统 | 第26-29页 |
·Linux LSM机制详解 | 第29-33页 |
·Linux系统出/客体标记的实现方法 | 第33-38页 |
·客体标记规则 | 第34-36页 |
·主体标记规则 | 第36-38页 |
·本章小结 | 第38-39页 |
第4章 访问控制逻辑的设计与实现 | 第39-49页 |
·Linux程序执行过程 | 第39-40页 |
·程序执行过程分析 | 第39-40页 |
·访问控制框架总体设计 | 第40页 |
·基于RBAC模型的可执行程序的强制访问控制 | 第40-43页 |
·问题分析 | 第40-41页 |
·安全策略的设计和实现 | 第41-43页 |
·基于DTE模型的应用程序域的强制访问控制 | 第43-45页 |
·问题分析 | 第43页 |
·解决方案和设计实现 | 第43-45页 |
·基于MLS模型的文件的强制访问控制 | 第45-47页 |
·问题分析 | 第45-46页 |
·解决方案和设计实现 | 第46-47页 |
·本章小结 | 第47-49页 |
第5章 系统兼容性与执行效率 | 第49-53页 |
·系统兼容性 | 第49页 |
·访问控制策略配置效率 | 第49-50页 |
·访问控制策略查询效率 | 第50页 |
·可执行程序检查效率 | 第50-51页 |
·文件类访问控制检查效率 | 第51-52页 |
·本章小结 | 第52-53页 |
第6章 四级Linux系统关键技术的实现 | 第53-67页 |
·四级系统总体概述 | 第53-55页 |
·四级系统总体框架设计 | 第55-58页 |
·四级系统安全需求 | 第55-56页 |
·四级系统设计思想与实施流程 | 第56-58页 |
·关键模块功能简介 | 第58-59页 |
·重要数据结构设计 | 第59-63页 |
·用户身份信息列表 | 第60页 |
·可执行程序白名单列表 | 第60页 |
·主体安全标记列表 | 第60-61页 |
·客体安全标记列表 | 第61-62页 |
·自主访问控制策略 | 第62-63页 |
·特权策略列表 | 第63页 |
·关键接口函数说明 | 第63-65页 |
·主/客体标记相关接口函数 | 第63-64页 |
·访问控制相关接口函数 | 第64-65页 |
·本章小结 | 第65-67页 |
结论 | 第67-69页 |
参考文献 | 第69-73页 |
硕士学位期间所发表的学术论文 | 第73-75页 |
致谢 | 第75页 |