数据库管理系统安全性形式化分析研究
| 摘要 | 第4-6页 |
| ABSTRACT | 第6-7页 |
| 1 绪论 | 第10-23页 |
| 1.1 研究背景、目的及意义 | 第10-11页 |
| 1.2 国内外研究概况 | 第11-23页 |
| 2 数据库安全模型研究 | 第23-37页 |
| 2.1 引言 | 第23-24页 |
| 2.2 忙展的多级安全模型 | 第24-35页 |
| 2.3 与现有模型比较与分析 | 第35-36页 |
| 2.4 本章小结 | 第36-37页 |
| 3 数据库安全模型的形式化分析 | 第37-52页 |
| 3.1 引言 | 第37页 |
| 3.2 安全模型 | 第37-41页 |
| 3.3 形式化分析方法 | 第41-44页 |
| 3.4 模型在Coq中的规范与分析 | 第44-49页 |
| 3.5 分析结果讨论 | 第49-51页 |
| 3.6 本章小结 | 第51-52页 |
| 4 形式化顶层规范的安全性分析 | 第52-71页 |
| 4.1 引言 | 第52-54页 |
| 4.2 达梦数据字典 | 第54-55页 |
| 4.3 顶层规范分析方法 | 第55-57页 |
| 4.4 顶层规范的分析 | 第57-62页 |
| 4.5 SQL操作规范 | 第62-69页 |
| 4.6 本章小结 | 第69-71页 |
| 5 数据库管理系统强制访问控制形式化分析 | 第71-88页 |
| 5.1 引言 | 第71-72页 |
| 5.2 DMOSMAC系统简介 | 第72-74页 |
| 5.3 BLP模型到DMOSMAC系统实现的映射 | 第74-80页 |
| 5.4 DMOSMAC系统实现的形式化描述与证明 | 第80-85页 |
| 5.5 相关工作比较 | 第85-86页 |
| 5.6 本章小结 | 第86-88页 |
| 6 总结与展望 | 第88-91页 |
| 6.1 全文总结 | 第88-89页 |
| 6.2 研究展望 | 第89-91页 |
| 致谢 | 第91-92页 |
| 参考文献 | 第92-103页 |
| 附录1 攻读博士学位期间发表的主要论文 | 第103-104页 |
| 附录2 博士生期间参与的课题研究情况 | 第104页 |
