多级安全数据模型在事务处理机制中的应用研究
| 摘要 | 第1-7页 |
| Abstract | 第7-11页 |
| 第一章 绪论 | 第11-17页 |
| ·引言 | 第11页 |
| ·多级安全数据库的主要研究内容 | 第11-14页 |
| ·国内外研究现状 | 第14-16页 |
| ·数据模型的研究概况 | 第14-15页 |
| ·安全并发控制机制的研究概况 | 第15-16页 |
| ·本文的组织 | 第16-17页 |
| 第二章 多级安全数据库基础 | 第17-24页 |
| ·安全模型 | 第17-20页 |
| ·Bell-La Padula模型 | 第17-18页 |
| ·MLR模型 | 第18-20页 |
| ·多级事务与并发控制机制 | 第20-23页 |
| ·基于两阶段锁方案 | 第22-23页 |
| ·本章小结 | 第23-24页 |
| 第三章 E-MLR模型 | 第24-44页 |
| ·一种改进的MLR模型——E-MLR模型 | 第24-26页 |
| ·MLR模型多实例语义下删除操作的缺点 | 第24-25页 |
| ·E-MLR模型的定义 | 第25页 |
| ·E-MLR模型语义的解释 | 第25-26页 |
| ·E-MLR模型的完整性性质 | 第26-28页 |
| ·实体完整性(EI) | 第26-27页 |
| ·多实例完整性(PI) | 第27页 |
| ·数据借用完整性(DBI) | 第27页 |
| ·外键完整性(FKI) | 第27-28页 |
| ·参照完整性(RI) | 第28页 |
| ·E-MLR模型的操作 | 第28-36页 |
| ·INSERT语句 | 第28-29页 |
| ·SELECT语句 | 第29-30页 |
| ·UPDATE语句 | 第30-31页 |
| ·UPLEVEL语句 | 第31-32页 |
| ·DELETE语句 | 第32-33页 |
| ·UPDATE,DELETE语句执行时的改进方案 | 第33-36页 |
| ·E-MLR模型的正确性、完备性和安全性 | 第36-42页 |
| ·E-MLR模型的正确性 | 第36-38页 |
| ·E-MLR模型的完备性 | 第38-39页 |
| ·E-MLR模型的安全性 | 第39-42页 |
| ·E-MLR模型与MLR模型的比较 | 第42-43页 |
| ·本章小结 | 第43-44页 |
| 第四章 分布式事务处理 | 第44-58页 |
| ·两版本两阶段锁并发控制机制(2V2PL) | 第44-51页 |
| ·2V2PL控制机制概述 | 第44-45页 |
| ·2V2PL控制机制的锁操作 | 第45-46页 |
| ·2V2PL的主要结构及主要原子操作 | 第46-51页 |
| ·E-MLR模型在改进的2V2PL机制中的应用 | 第51-57页 |
| ·2V2PL主要原子操作的改进 | 第51-53页 |
| ·2V2PL分布式事务处理中的提交协议的改进 | 第53-57页 |
| ·本章小结 | 第57-58页 |
| 第五章 多级安全事务处理系统原型 | 第58-73页 |
| ·系统的总体架构 | 第58页 |
| ·事务管理模块 | 第58-62页 |
| ·分布式事务管理 | 第58-59页 |
| ·分布式事务提交 | 第59-62页 |
| ·通信模块 | 第62-65页 |
| ·通信模块工作原理 | 第62-63页 |
| ·通信模块工作流程 | 第63-65页 |
| ·改进2V2PL并发控制机制 | 第65-72页 |
| ·锁表空间及其主要数据结构 | 第68-70页 |
| ·可信锁管理器 | 第70-72页 |
| ·锁表空间的并发 | 第72页 |
| ·本章小结 | 第72-73页 |
| 第六章 总结与展望 | 第73-74页 |
| ·总结 | 第73页 |
| ·展望 | 第73-74页 |
| 附录 | 第74-75页 |
| 参考文献 | 第75-77页 |
| 致谢 | 第77页 |
