多级安全的数据模型和事务处理研究
| 目录 | 第1-6页 |
| 摘要 | 第6-7页 |
| ABSTRACT | 第7-8页 |
| 第一章 绪论 | 第8-13页 |
| ·课题的意义 | 第8页 |
| ·多级安全数据库系统的主要研究内容 | 第8-9页 |
| ·国内外研究概况 | 第9-12页 |
| ·数据模型的研究概况 | 第10-11页 |
| ·安全并发控制机制的研究概况 | 第11页 |
| ·多级事务处理的研究概况 | 第11-12页 |
| ·本文的内容和安排 | 第12-13页 |
| 第二章 多级安全数据模型 | 第13-29页 |
| ·多级安全数据模型中的问题 | 第13-16页 |
| ·推理通道和多实例 | 第13-15页 |
| ·主码漏洞 | 第15-16页 |
| ·多级安全关系数据模型MLSR | 第16-23页 |
| ·模型的定义 | 第16-17页 |
| ·模型的完整性 | 第17-18页 |
| ·模型的操作 | 第18-22页 |
| ·模型不同模式下元组的相互转化 | 第22-23页 |
| ·模型数据语义的解释 | 第23-27页 |
| ·模型的安全性分析 | 第27-28页 |
| ·本章小结 | 第28-29页 |
| 第三章 多级安全数据库系统的事务处理 | 第29-50页 |
| ·事务处理中的问题 | 第29-32页 |
| ·传统事务处理机制的安全问题 | 第29-30页 |
| ·已有安全事务处理机制的缺点 | 第30-31页 |
| ·单级事务的不足 | 第31-32页 |
| ·多级安全事务处理机制 | 第32-38页 |
| ·改进的嵌套事务模型 | 第32-33页 |
| ·改进的2PL协议 | 第33-35页 |
| ·事务的原语 | 第35-38页 |
| ·可串行化分析 | 第38-41页 |
| ·单级事务处理的安全性分析 | 第41-42页 |
| ·多级事务处理分析 | 第42-44页 |
| ·多级事务处理的算法 | 第43页 |
| ·多级事务处理的正确性分析 | 第43-44页 |
| ·多级安全事务处理系统的实现 | 第44-49页 |
| ·事务的实现 | 第44-45页 |
| ·事务处理系统的实现 | 第45-49页 |
| ·本章小结 | 第49-50页 |
| 第四章 总结与展望 | 第50-52页 |
| 致谢 | 第52-53页 |
| 参考文献 | 第53-56页 |
| 研究生在读期间发表的论文 | 第56-57页 |
| 附录I MLSR模型对二叉链表的使用 | 第57-58页 |
