| 摘要 | 第1-5页 |
| ABSTRACT | 第5-10页 |
| 第一章 绪论 | 第10-18页 |
| ·研究背景 | 第10-13页 |
| ·数据库安全的概念 | 第10-12页 |
| ·传统隐通道的概念 | 第12页 |
| ·传统隐通道的分类 | 第12-13页 |
| ·国内外研究现状 | 第13-16页 |
| ·现有数据库安全漏洞 | 第13-15页 |
| ·数据库安全标准 | 第15页 |
| ·操作系统隐通道研究进展 | 第15-16页 |
| ·本文的选题和依据 | 第16-17页 |
| ·本文主要工作 | 第17页 |
| ·本文组织结构 | 第17-18页 |
| 第二章 数据库隐通道分析 | 第18-28页 |
| ·数据库隐通道定义 | 第18-20页 |
| ·操作系统隐通道与数据库隐通道的异同 | 第18-20页 |
| ·数据库隐通道的定义 | 第20页 |
| ·数据库隐通道机理分析 | 第20-26页 |
| ·现有数据库安全策略 | 第20-23页 |
| ·现有数据库安全模型 | 第23-25页 |
| ·现有数据库安全存取控制模型的缺陷 | 第25-26页 |
| ·数据库隐通道分类 | 第26-27页 |
| ·传统隐通道分类的局限 | 第26页 |
| ·基于数据库安全策略的隐通道分类方法 | 第26-27页 |
| ·本章小结 | 第27-28页 |
| 第三章 基于形式语言的数据库隐通道可计算性研究 | 第28-37页 |
| ·数据库隐通道形式化定义 | 第28-32页 |
| ·信息传导相关要素的形式化定义 | 第28-29页 |
| ·数据库隐通道元形式化定义 | 第29-30页 |
| ·数据库隐通道元依赖关系 | 第30-31页 |
| ·数据库隐通道形式化定义 | 第31-32页 |
| ·基于形式语言的数据库隐通道可计算属性 | 第32-34页 |
| ·数据库隐通道的可计算属性 | 第32-33页 |
| ·数据库隐通道代数系统的定义 | 第33-34页 |
| ·数据库隐通道代数系统的运算法则 | 第34页 |
| ·数据库隐通道存在最小条件 | 第34-35页 |
| ·本章小结 | 第35-37页 |
| 第四章 基于可计算性的数据库隐通道的构建 | 第37-47页 |
| ·数据库隐通道构建及可行性论证 | 第37-38页 |
| ·数据库隐通道构建原理及形式化描述 | 第38-41页 |
| ·基于系统进程的数据库隐通道构建原理 | 第38-39页 |
| ·基于系统进程的数据库隐通道形式化描述 | 第39-41页 |
| ·数据库隐通道构建实例 | 第41-43页 |
| ·基于可计算性的数据库隐通道审计 | 第43-46页 |
| ·数据库隐通道审计量化指标 | 第43页 |
| ·数据库隐通道威胁度的计算 | 第43-44页 |
| ·数据库隐通道威胁率的计算 | 第44-45页 |
| ·等效隐通道 | 第45页 |
| ·数据库隐通道审计IA（Integrated Audit）标准 | 第45-46页 |
| ·数据库隐通道审计的局限性 | 第46页 |
| ·本章小结 | 第46-47页 |
| 第五章 基于可计算性的数据库隐通道的消除策略 | 第47-56页 |
| ·数据库隐通道搜索策略 | 第47-49页 |
| ·基于可计算性研究的数据库隐通道搜索方式及其分类 | 第47页 |
| ·数据库隐通道搜索面临的问题 | 第47-49页 |
| ·基于可计算性的数据库隐通道消除方法 | 第49-52页 |
| ·可搜索的数据库隐通道的消除方法分析 | 第49-51页 |
| ·无法搜索的数据库隐通道的消除方法分析 | 第51-52页 |
| ·基于系统进程的数据库隐通道消除方法 | 第52-54页 |
| ·数据库隐通道消除模块构建 | 第52-53页 |
| ·数据库隐通道消除模块算法 | 第53-54页 |
| ·本章小结 | 第54-56页 |
| 第六章 总结 | 第56-58页 |
| ·工作总结 | 第56-57页 |
| ·研究展望 | 第57-58页 |
| 参考文献 | 第58-61页 |
| 致谢 | 第61-62页 |
| 在学期间研究成果及发表的学术论文 | 第62页 |