| 摘要 | 第1-6页 |
| Abstract | 第6-11页 |
| 第1章 绪论 | 第11-32页 |
| ·安全数据库研究的意义 | 第11-12页 |
| ·安全数据库的主要研究内容 | 第12-14页 |
| ·国内外研究现状 | 第14-29页 |
| ·多级安全数据模型 | 第14-17页 |
| ·隐通道的分析方法 | 第17-21页 |
| ·隐通道带宽的计算与测量 | 第21-25页 |
| ·隐通道的处理方法 | 第25-26页 |
| ·多级安全事务处理 | 第26-28页 |
| ·数据推理控制 | 第28-29页 |
| ·主要研究内容 | 第29-30页 |
| ·本文的篇章结构 | 第30-32页 |
| 第2章 基于实体语义的多级安全数据模型 | 第32-52页 |
| ·多实例带来的问题 | 第32-33页 |
| ·ESM模型 | 第33-36页 |
| ·模型的定义 | 第34页 |
| ·数据解释 | 第34-36页 |
| ·完整性性质 | 第36-38页 |
| ·实体完整性 | 第36页 |
| ·多实例完整性 | 第36-37页 |
| ·外键完整性 | 第37页 |
| ·参照完整性 | 第37-38页 |
| ·模型的表达能力 | 第38-41页 |
| ·元组级标记的模型 | 第38-39页 |
| ·元素级标记的模型 | 第39-40页 |
| ·半元组级标记的模型 | 第40-41页 |
| ·数据操作 | 第41-46页 |
| ·操纵语句实例 | 第41-42页 |
| ·INSERT语句 | 第42-43页 |
| ·DELETE语句 | 第43-44页 |
| ·SELECT语句 | 第44-45页 |
| ·UPDATE语句 | 第45-46页 |
| ·ESM模型的正确性、完备性和安全性 | 第46-51页 |
| ·正确性 | 第46-47页 |
| ·完备性 | 第47-48页 |
| ·安全性 | 第48-51页 |
| ·本章小结 | 第51-52页 |
| 第3章 基于信息流图的隐通道标识方法 | 第52-70页 |
| ·隐通道的威胁 | 第52-53页 |
| ·相关的研究工作 | 第53-54页 |
| ·共享资源矩阵法 | 第53-54页 |
| ·隐蔽流树法 | 第54页 |
| ·信息流图法 | 第54-58页 |
| ·属性的识别 | 第54-55页 |
| ·信息流图的构造 | 第55-57页 |
| ·信息流图的搜索 | 第57-58页 |
| ·隐通道的分析 | 第58-65页 |
| ·文件系统操作描述列表 | 第58-60页 |
| ·文件系统信息流图和场景列表 | 第60-62页 |
| ·隐通道操作序列分析 | 第62-64页 |
| ·隐通道分析工具 | 第64-65页 |
| ·信息流图法与 SRM方法分析结果的对比 | 第65-69页 |
| ·本章小结 | 第69-70页 |
| 第4章 基于隐马尔可夫模型的隐通道检测方法 | 第70-82页 |
| ·隐通道的分类 | 第70-72页 |
| ·异常行为检测 | 第72-78页 |
| ·隐Markov模型简介 | 第72-73页 |
| ·数据库系统运行状态的隐 Markov模型 | 第73-76页 |
| ·异常检测算法 | 第76页 |
| ·模型的训练 | 第76-78页 |
| ·隐通道的检测与分析 | 第78-81页 |
| ·一个隐通道检测的实例 | 第78-79页 |
| ·隐通道应用场景的分析 | 第79-80页 |
| ·隐通道带宽的测量 | 第80-81页 |
| ·本章小结 | 第81-82页 |
| 第5章 基于两阶段锁协议和串行图的多级事务调度算法 | 第82-95页 |
| ·单级事务和多级事务 | 第82-83页 |
| ·多级事务的正确性标准 | 第83-85页 |
| ·ACIS正确性性质 | 第83-84页 |
| ·原子性 | 第84页 |
| ·一致性和隔离性 | 第84-85页 |
| ·安全性 | 第85页 |
| ·正确性标准间的冲突 | 第85-89页 |
| ·原子性与安全性间的冲突 | 第86页 |
| ·一致性与安全性间的冲突 | 第86-88页 |
| ·隔离性与安全性间的冲突 | 第88-89页 |
| ·基于两阶段锁和串行图的调度算法 | 第89-91页 |
| ·串行图 | 第89页 |
| ·多级事务间存在的冲突 | 第89-90页 |
| ·基于两阶段锁和串行图的调度算法 | 第90-91页 |
| ·算法的实现与分析 | 第91-94页 |
| ·算法描述 | 第91-92页 |
| ·实例分析 | 第92-93页 |
| ·算法的正确性分析 | 第93-94页 |
| ·本章小结 | 第94-95页 |
| 第6章 推理检测算法与推理风险评估 | 第95-111页 |
| ·数据级推理检测 | 第95-96页 |
| ·基本推理规则 | 第96-99页 |
| ·关联元组的定义 | 第96-97页 |
| ·推理规则 | 第97-99页 |
| ·推理检测算法 | 第99-101页 |
| ·实验结果及分析 | 第101-104页 |
| ·推理风险评估 | 第104-110页 |
| ·粗集理论简介 | 第104-105页 |
| ·推理风险的量化分析 | 第105-108页 |
| ·实例分析 | 第108-110页 |
| ·本章小结 | 第110-111页 |
| 结论 | 第111-113页 |
| 参考文献 | 第113-123页 |
| 攻读博士学位期间发表的论文和取得的科研成果 | 第123-125页 |
| 致谢 | 第125页 |