| 摘要 | 第1-6页 |
| Abstract | 第6-11页 |
| 第1章 绪论 | 第11-35页 |
| ·研究背景 | 第11页 |
| ·信息系统等级保护概述 | 第11-18页 |
| ·国外信息系统等级保护工作的发展 | 第11-13页 |
| ·我国信息系统等级保护工作的发展 | 第13-14页 |
| ·信息系统等级保护的定义 | 第14-15页 |
| ·信息系统的安全保护等级分类 | 第15页 |
| ·信息系统等级保护基本体系结构 | 第15-16页 |
| ·信息系统安全保护总体结构 | 第16-18页 |
| ·国内外研究现状 | 第18-32页 |
| ·信息系统的安全属性 | 第18页 |
| ·访问控制的基本概念 | 第18-19页 |
| ·机密性模型 | 第19-24页 |
| ·完整性模型 | 第24-29页 |
| ·其他相关安全模型 | 第29-31页 |
| ·存在的主要问题 | 第31-32页 |
| ·课题来源与研究内容 | 第32-33页 |
| ·课题来源 | 第32页 |
| ·主要研究内容 | 第32-33页 |
| ·论文组织结构 | 第33-35页 |
| 第2章 具有共享属性的信息系统多级安全模型 | 第35-51页 |
| ·相关工作 | 第35-39页 |
| ·信息系统多级安全模型 | 第39-43页 |
| ·安全需求 | 第39页 |
| ·基本安全假设 | 第39-40页 |
| ·模型元素 | 第40-43页 |
| ·形式化描述 | 第43-49页 |
| ·安全特性 | 第43-44页 |
| ·安全定理 | 第44-46页 |
| ·访问规则 | 第46-49页 |
| ·安全性证明 | 第49-50页 |
| ·本章小结 | 第50-51页 |
| 第3章 机密性和完整性相结合的统一安全模型 | 第51-63页 |
| ·BLP 模型与 Biba 模型 | 第51-54页 |
| ·机密性和完整性相结合的统一安全模型 | 第54-56页 |
| ·访问策略 | 第54页 |
| ·基本假设 | 第54-55页 |
| ·主要元素 | 第55-56页 |
| ·模型的安全特性 | 第56-57页 |
| ·读安全特性 | 第56-57页 |
| ·写安全特性 | 第57页 |
| ·自主安全特性 | 第57页 |
| ·模型分析 | 第57-61页 |
| ·主体安全级调整原则 | 第57-58页 |
| ·访问控制流程 | 第58页 |
| ·安全性分析 | 第58-60页 |
| ·与其他机密性和完整性结合模型的比较 | 第60-61页 |
| ·本章小结 | 第61-63页 |
| 第4章 基于 TCB 扩展的信息系统多级安全策略模型 | 第63-81页 |
| ·信息系统的安全需求 | 第63-67页 |
| ·相关工作 | 第65-66页 |
| ·可信信息系统基的总体框架 | 第66-67页 |
| ·信息系统多级安全策略模型 | 第67-77页 |
| ·基本假设 | 第68页 |
| ·主要元素 | 第68-70页 |
| ·典型应用场景 | 第70-73页 |
| ·安全约束 | 第73-74页 |
| ·模型描述 | 第74-76页 |
| ·安全特性 | 第76-77页 |
| ·安全性证明 | 第77-80页 |
| ·登录阶段 | 第77-78页 |
| ·连接阶段 | 第78-79页 |
| ·处理阶段 | 第79-80页 |
| ·本章小结 | 第80-81页 |
| 第5章 第四级信息系统中的多级安全技术设计 | 第81-103页 |
| ·安全设计目标与技术要求 | 第81-82页 |
| ·安全设计目标 | 第81页 |
| ·安全设计技术要求 | 第81-82页 |
| ·安全设计策略与设计思路 | 第82-84页 |
| ·安全设计策略 | 第82-83页 |
| ·设计思路 | 第83-84页 |
| ·总体结构与流程 | 第84-87页 |
| ·总体结构 | 第84-85页 |
| ·总体流程 | 第85-87页 |
| ·访问控制机制设计 | 第87-90页 |
| ·自主访问控制机制设计 | 第87-89页 |
| ·强制访问控制机制设计 | 第89-90页 |
| ·多级安全技术设计 | 第90-102页 |
| ·Windows 节点子系统 | 第90-93页 |
| ·Linux 节点子系统 | 第93-97页 |
| ·安全区域边界子系统 | 第97页 |
| ·安全管理子系统 | 第97-102页 |
| ·本章小结 | 第102-103页 |
| 结论 | 第103-105页 |
| 参考文献 | 第105-115页 |
| 攻读博士学位期间所发表的学术论文 | 第115-117页 |
| 致谢 | 第117页 |