多级安全关系数据库管理系统研究
| 摘要 | 第1-4页 |
| Abstract | 第4-7页 |
| 第一章 绪论 | 第7-15页 |
| ·引言 | 第7-9页 |
| ·MLS/DBMS主要的研究内容 | 第9-11页 |
| ·多级安全数据模型 | 第9页 |
| ·多实例问题 | 第9-10页 |
| ·推理问题 | 第10页 |
| ·隐蔽通道问题 | 第10页 |
| ·多级事务处理 | 第10-11页 |
| ·国内外研究现状 | 第11-13页 |
| ·萌芽阶段 | 第11-12页 |
| ·军事主导阶段 | 第12页 |
| ·标准化阶段 | 第12-13页 |
| ·多样化阶段 | 第13页 |
| ·本文的组织 | 第13-15页 |
| 第二章 多级安全数据模型 | 第15-31页 |
| ·引言 | 第15-20页 |
| ·访问控制模型概述 | 第15-16页 |
| ·经典的多级安全模型 | 第16-20页 |
| ·一种改进的多级安全模型 | 第20-24页 |
| ·模型的定义 | 第20页 |
| ·语义解释 | 第20-22页 |
| ·模型的完整性性质 | 第22-24页 |
| ·数据模型的操作 | 第24-26页 |
| ·INSERT 语句 | 第24页 |
| ·DELETE语句 | 第24-25页 |
| ·SELECT语句 | 第25页 |
| ·UPDATE语句 | 第25-26页 |
| ·模型的表达能力分析 | 第26-29页 |
| ·元组级标记的模型 | 第26-27页 |
| ·元素级标记的模型 | 第27-28页 |
| ·半元组标记的模型 | 第28-29页 |
| ·本章小结 | 第29-31页 |
| 第三章 多级安全数据库的推理通道问题 | 第31-41页 |
| ·推理通道的定义与类型 | 第31-33页 |
| ·推理通道的形式化特征 | 第33-34页 |
| ·函数依赖与多值依赖推理问题的控制 | 第34-35页 |
| ·函数依赖引起的推理及其控制算法 | 第35-38页 |
| ·改进的CLA算法 | 第38-40页 |
| ·本章小结 | 第40-41页 |
| 第四章 MLS/DBMS 原型系统的设计与实现 | 第41-51页 |
| ·主要的MLS/DBMS的体系结构 | 第41-46页 |
| ·TCB子集类体系结构 | 第41-43页 |
| ·可信主体结构 | 第43-44页 |
| ·完整性锁体系结构 | 第44-46页 |
| ·改进的MLS/DBMS体系结构 | 第46-49页 |
| ·改进的MLS/DBMS体系结构 | 第46-48页 |
| ·SECBase安全内核相关模块 | 第48-49页 |
| ·本章小结 | 第49-51页 |
| 第五章 总结与展望 | 第51-53页 |
| ·工作总结 | 第51页 |
| ·研究展望 | 第51-53页 |
| 致谢 | 第53-55页 |
| 参考文献 | 第55-58页 |
| 硕士期间发表的论文和参与的科研项目 | 第58-59页 |
