多级安全数据库测试技术研究与测试工具设计
| 摘要 | 第1-7页 |
| Abstract | 第7-10页 |
| 1 引言 | 第10-24页 |
| ·研究背景 | 第10-20页 |
| ·信息安全与信息系统 | 第10-12页 |
| ·数据库管理系统 | 第12-14页 |
| ·数据库的安全威胁与安全需求 | 第14-17页 |
| ·数据库安全技术 | 第17-19页 |
| ·研究内容 | 第19-20页 |
| ·相关工作基础 | 第20-21页 |
| ·论文框架 | 第21-24页 |
| 2 多级安全数据库管理系统 | 第24-42页 |
| ·多级安全数据库管理系统的起源与发展 | 第24-27页 |
| ·多级安全数据库管理系统的相关标准 | 第27-33页 |
| ·国外标准 | 第28-31页 |
| ·国内标准 | 第31-33页 |
| ·多级安全数据库管理系统的关键技术 | 第33-42页 |
| ·多级安全数据模型 | 第33-34页 |
| ·MLSDBMS 的事务处理技术 | 第34-36页 |
| ·审计技术 | 第36-38页 |
| ·推理通道与推理控制 | 第38-42页 |
| 3 多级安全数据库管理系统测试方法研究 | 第42-60页 |
| ·标记与强制访问控制 | 第42-47页 |
| ·BLP 模型 | 第43-44页 |
| ·模型解释 | 第44-45页 |
| ·语法解释 | 第45-46页 |
| ·测试执行 | 第46-47页 |
| ·测试结果汇总 | 第47页 |
| ·安全审计 | 第47-52页 |
| ·推理控制 | 第52-60页 |
| ·数据查询推理inf_Dat | 第52-55页 |
| ·主键约束推理inf_Pri | 第55-57页 |
| ·函数依赖推理inf_Fun | 第57-58页 |
| ·统计数据库中的推理inf_Sta | 第58-60页 |
| 4 多级安全数据库管理系统测试工具设计 | 第60-71页 |
| ·需求及开发平台选型 | 第60页 |
| ·测试系统总体设计 | 第60-62页 |
| ·测试系统详细设计 | 第62-71页 |
| 5 MulDBTaT 的应用与测试方法验证 | 第71-73页 |
| 6 总结与展望 | 第73-75页 |
| 参考文献 | 第75-79页 |
| 附录1 MulDBTat 工具涉及的类详细介绍 | 第79-85页 |
| 致谢 | 第85-87页 |
| 个人简历 | 第87页 |
| 在学期间发表的学术论文与研究成果 | 第87页 |
