| 摘要 | 第1-6页 |
| Abstract | 第6-15页 |
| 第一章 绪论 | 第15-25页 |
| ·可生存技术的发展 | 第15-19页 |
| ·数据库可生存性的选题依据和意义 | 第19-22页 |
| ·传统数据库安全机制的不足 | 第19-20页 |
| ·对数据库可生存性的需要 | 第20-22页 |
| ·选题的项目背景 | 第22页 |
| ·主要创新点 | 第22-23页 |
| ·本文的组织结构 | 第23-25页 |
| 第二章 数据库可生存性相关技术和问题 | 第25-39页 |
| ·数据库入侵检测 | 第25-28页 |
| ·对存储篡改的检测 | 第25-26页 |
| ·对数据推理的检测 | 第26页 |
| ·基于数据挖掘的检测方法 | 第26-27页 |
| ·基于数据库应用语义的检测方法 | 第27-28页 |
| ·基于数据库事务级的入侵检测方法 | 第28页 |
| ·数据库入侵限制和隔离技术 | 第28-31页 |
| ·静态分区法 | 第29页 |
| ·数据标记法 | 第29页 |
| ·多阶段隔离法 | 第29-30页 |
| ·多版本法 | 第30-31页 |
| ·数据库恢复技术 | 第31-34页 |
| ·确定恶意事务和受感染事务的方法 | 第31-33页 |
| ·撤消恶意事务和受感染事务的方法 | 第33-34页 |
| ·数据库访问控制技术 | 第34-35页 |
| ·其他相关技术 | 第35-37页 |
| ·本章小结 | 第37-39页 |
| 第三章 可生存MLS/DBMS 中基于隐蔽通道的恶意事务检测 | 第39-50页 |
| ·相关工作 | 第39-40页 |
| ·可生存MLS/DBMS 中隐蔽通道分析 | 第40-44页 |
| ·理论基础 | 第40-41页 |
| ·MLS/DBMS 模型 | 第40-41页 |
| ·隐蔽通道分析理论基础 | 第41页 |
| ·可生存性MLS/DBMS 中的隐蔽通道分析 | 第41-44页 |
| ·基本隐蔽通道分析 | 第42页 |
| ·带噪声隐蔽通道分析 | 第42-44页 |
| ·可生存MLS/DBMS 中基于隐蔽通道的恶意事务检测 | 第44-49页 |
| ·基于带宽的恶意事务检测 | 第44-45页 |
| ·带噪声隐蔽通道的恶意事务检测 | 第45-49页 |
| ·同谋事务检测 | 第46-48页 |
| ·恶意噪声事务检测 | 第48-49页 |
| ·本章小结 | 第49-50页 |
| 第四章 基于SPN 模型的DBMS 隔离和恢复及其相关算法 | 第50-66页 |
| ·Petri 网简述 | 第50-51页 |
| ·基于Petri 网模型的传统数据库恶意事务恢复解决方案 | 第51-54页 |
| ·DBMS 和事务理论模型 | 第51-52页 |
| ·基于Petri 网模型的事务撤销冲突解决方案 | 第52-53页 |
| ·基于数据依赖的恶意事务恢复Petri 网解决方案 | 第53-54页 |
| ·基于Petri 网模型的可生存性DBMS 中恶意事务恢复算法 | 第54-60页 |
| ·可生存性DBMS 中静态恶意事务恢复算法 | 第55-57页 |
| ·静态恶意事务恢复算法 | 第55-57页 |
| ·M/M/1 队列的静态恶意事务恢复SPN 模型 | 第57页 |
| ·基于SPN 模型的on-the-fly 恶意事务恢复算法 | 第57-60页 |
| ·On-the fly 恶意事务恢复算法 | 第57-59页 |
| ·On-the-fly 恶意恢复算法的SPN 模型 | 第59-60页 |
| ·恶意事务恢复SPN 模型的CTMC 求解 | 第60-61页 |
| ·恶意事务恢复SPN 模型与CTMC 的一致性 | 第60页 |
| ·恶意事务恢复CTMC 求解 | 第60-61页 |
| ·盲写事务条件下基于数据依赖的恶意事务恢复算法 | 第61-65页 |
| ·基于数据依赖的恶意事务恢复算法 | 第61-63页 |
| ·善意盲写事务条件下的恶意事务恢复算法 | 第63-64页 |
| ·模拟实验及性能分析 | 第64-65页 |
| ·本章小结 | 第65-66页 |
| 第五章 基于数字水印的角色访问控制模型WRBAC | 第66-77页 |
| ·关系数据库水印技术 | 第66-67页 |
| ·RBAC 访问控制模型 | 第67-69页 |
| ·RBAC96 访问控制模型 | 第67-68页 |
| ·NIST RBAC 模型 | 第68-69页 |
| ·基于数字水印的数据库角色授权访问控制模型WRBAC | 第69-73页 |
| ·WRBAC 模型描述 | 第69-70页 |
| ·模型框架工作原理 | 第70-73页 |
| ·水印生成算法 | 第71-72页 |
| ·水印检测算法 | 第72-73页 |
| ·WRBAC 模型应用 | 第73-75页 |
| ·模型进一步改进 | 第75-76页 |
| ·带角色层次结构的WRBAC 模型 | 第75-76页 |
| ·检测算法的鲁棒性改进 | 第76页 |
| ·本章小结 | 第76-77页 |
| 第六章 MVL 条件下的可生存性DBMS | 第77-84页 |
| ·BL 条件下的k-out-of-n: S 系统 | 第77-78页 |
| ·MVL 条件下的k-out-of-n: S 系统 | 第78-81页 |
| ·k-out-of-n:S 系统的MVL 模型描述 | 第78-79页 |
| ·k-out-of-n: S 系统的MVL 生存性评价函数 | 第79-81页 |
| ·MVL 条件下的k-out-of-n: S 系统应用 | 第81-82页 |
| ·本章小结 | 第82-84页 |
| 第七章 结论 | 第84-87页 |
| ·本文的主要工作和贡献 | 第84-85页 |
| ·本文的不足和未来研究方向 | 第85-87页 |
| 参考文献 | 第87-100页 |
| 致谢 | 第100-101页 |
| 在学期间的研究成果及发表的学术论文 | 第101-103页 |
| 附录 | 第103-106页 |
