高安全数据库管理系统保护技术的研究与实现
| 第一章 绪论 | 第1-17页 |
| ·研究背景、意义和现状 | 第11-12页 |
| ·研究的主要内容 | 第12-15页 |
| ·多实例完整性 | 第13页 |
| ·安全模型 | 第13-14页 |
| ·推理问题 | 第14页 |
| ·多级事务处理 | 第14-15页 |
| ·本文的组织 | 第15-17页 |
| 第二章 一种改进的多实例安全模型 | 第17-30页 |
| ·安全模型概述 | 第17-18页 |
| ·一种改进的安全模型 | 第18-27页 |
| ·完整性规则 | 第19-21页 |
| ·读写规则的改进 | 第21-27页 |
| ·与其他多实例模型的比较 | 第27-28页 |
| ·与Jajodia-Sandhu 模型比较 | 第27-28页 |
| ·与Smith-Winslett 模型比较 | 第28页 |
| ·小结 | 第28-30页 |
| 第三章 推理控制 | 第30-46页 |
| ·引言 | 第30-31页 |
| ·检测推理通道 | 第31-38页 |
| ·基本概念 | 第31-32页 |
| ·静态、动态推理通道的检测 | 第32-33页 |
| ·复合通道的检测 | 第33-38页 |
| ·一种提高输入的安全级来消除推理通道方法 | 第38-44页 |
| ·引入代价函数来计算提高的代价 | 第38-39页 |
| ·使提升满足安全标记的一致性原则 | 第39页 |
| ·一种消除推理通道的算法 | 第39-44页 |
| ·小结 | 第44-46页 |
| 第四章 多级事务调度 | 第46-59页 |
| ·引言 | 第46-48页 |
| ·复制结构的多级事务模型 | 第48-52页 |
| ·复制结构的事务调度 | 第52-53页 |
| ·在多级事务中引入多版本思想 | 第53-55页 |
| ·算法的改进 | 第55-57页 |
| ·小结 | 第57-59页 |
| 第五章 MLS/DBMS 原型系统的实现 | 第59-70页 |
| ·原型系统的体系结构和功能模块划分 | 第59-61页 |
| ·强制访问控制模块 | 第61-62页 |
| ·推理控制模块 | 第62-69页 |
| ·小结 | 第69-70页 |
| 第六章 总结 | 第70-72页 |
| 参考文献 | 第72-76页 |
| 致谢 | 第76-77页 |
| 在学期间的研究成果及发表的学术论文 | 第77页 |
