| 摘要 | 第1-6页 |
| Abstract | 第6-7页 |
| 第一章 绪论 | 第7-13页 |
| ·前言 | 第7页 |
| ·安全数据库的国内外研究现状 | 第7-9页 |
| ·课题来源的依据和意义 | 第9-11页 |
| ·本文的主要工作 | 第11-13页 |
| 第二章 信息系统安全保护等级划分准则的分析 | 第13-25页 |
| ·数据库安全的基本要求与特点 | 第13-15页 |
| ·身份认证机制 | 第13-14页 |
| ·访问控制机制 | 第14-15页 |
| ·审计机制 | 第15页 |
| ·加密机制 | 第15页 |
| ·可信计算机系统评估标准分析 | 第15-23页 |
| ·安全评估标准的常用专业术语 | 第16页 |
| ·评估准则的一般要求 | 第16-23页 |
| ·我国系统安全保护等级划分准则 | 第23-24页 |
| ·标准规则的比较 | 第24页 |
| ·本章小结 | 第24-25页 |
| 第三章 LogicSQL数据库系统的研究 | 第25-29页 |
| ·LogicSQL数据库简介 | 第25页 |
| ·LogicSQL数据库核心技术 | 第25-27页 |
| ·LogicSQL数据库基本安全模块 | 第27-28页 |
| ·本章小结 | 第28-29页 |
| 第四章 模型的理论基础研究 | 第29-49页 |
| ·模型的数学基础 | 第29-33页 |
| ·偏序关系和偏序集 | 第29-31页 |
| ·格的定义与性质 | 第31-33页 |
| ·模型数学基础中格的应用 | 第33-36页 |
| ·基于格的信息流控制策略 | 第33-34页 |
| ·基于格的基本安全模型 | 第34-36页 |
| ·模型的基础—Bell-LaPadula模型 | 第36-48页 |
| ·BLP模型介绍 | 第36页 |
| ·BLP模型的基本元素介绍 | 第36-39页 |
| ·BLP模型的三个重要公理 | 第39页 |
| ·安全系统与规则的定义 | 第39-40页 |
| ·BLP模型的10个重要定理 | 第40-42页 |
| ·BLP模型的11条状态转换规则 | 第42-48页 |
| ·本章小结 | 第48-49页 |
| 第五章 一种基于Bell-LaPadula的安全数据库系统模型 | 第49-56页 |
| ·模型的基本概念定义 | 第49-51页 |
| ·模型的系统状态 | 第51-52页 |
| ·模型的系统状态转换 | 第52页 |
| ·模型的系统 | 第52-53页 |
| ·模型的公理 | 第53-54页 |
| ·模型的规则与结论 | 第54-55页 |
| ·本章小结 | 第55-56页 |
| 第六章 LogicSQL安全数据库原形系统的实现 | 第56-64页 |
| ·安全数据库系统的实现策略/方法 | 第56页 |
| ·安全数据库系统的安全级别粒度 | 第56-57页 |
| ·LogicSQL原形系统基本安全体系结构 | 第57页 |
| ·LogicSQL原形系统的安全模块划分 | 第57-59页 |
| ·主要模块功能及基本数据结构 | 第59-63页 |
| ·自主访问控制模块 | 第59页 |
| ·强制访问控制模块 | 第59-62页 |
| ·审计模块 | 第62-63页 |
| ·本章小结 | 第63-64页 |
| 第七章 结论与展望 | 第64-66页 |
| 致谢 | 第66-67页 |
| 参考文献 | 第67-69页 |
| 附录 | 第69-70页 |