高等级数据库管理系统安全保障技术研究
文献类型：学位论文
| 作者 | 张敏 |
| 学位类别 | 博士 |
| 答辩日期 | 2007-05-27 |
| 授予单位 | 中国科学院软件研究所 |
| 授予地点 | 软件研究所 |
| 关键词 | 数据库管理系统 安全保障 安全策略模型 安全功能测试 隐通道 |
| 其他题名 | Research on Security Assurance of High Level Database Management System |
| 中文摘要 | 作为信息存储和处理的一个核心环节，数据库管理系统的安全性在整个信息安全体系结构中起着至关重要的作用。高等级数据库管理系统的设计与测评既是当前发展的客观需求，同时也是一个极大的挑战。而高等级数据库管理系统的重要特征之一是其高安全保障能力。本文围绕高等级数据库管理系统的安全保障技术为中心展开工作，取得了以下几个方面成果： 1.提出了一种基于数据库审计信息挖掘的隐通道使用检测方法。该方法不需要数据库设计与隐通道场景等先验知识，并且同样适用于存储隐通道与信号隐通道。该方法与现有的隐通道搜索与规则匹配方法互为补充，两者结合起来可以更为有效的实现对数据库系统中隐通道使用的监控与限制。 2.针对数据库系统事务调度所导致的隐通道，提出了一个多级多版本的全局时间戳排序机制 (MLS_MVGTO)。该机制不仅避免了调度隐通道，而且允许事务有相同的优先级，不会发生因无限等待而‘饿死’。此外该机制的实现可以由多个单级别的调度器构成，避免了一个跨级别的可信调度器。 3.提出了一种基于形式化安全策略模型的安全功能测试用例自动生成方法。该方法采用语义相关的启发式，因此测试用例具有针对性。该方法中的机械性步骤与相关支持工具配合，可以实现测评自动化。在高等级数据库管理系统第三方独立测试中，可以帮助提高测试的覆盖程度与工作效率。 4.系统性研究了高等级数据库管理系统的形式化安全策略模型的开发与评估方法。提出了DBMS安全策略判定模型与DBMS安全策略实施模型的建模方法，以及DBMS安全策略模型评估的规范方法。该评估方法结合形式化定理证明工具，最大程度的减少了对评估者的依赖。 总的来说，本文的研究成果推动了数据库管理系统安全保障技术研究的发展，并为实现我国高等级数据库管理系统及其测评打下了坚实的基础。 |
| 语种 | 中文 |
| 公开日期 | 2011-03-17 |
| 页码 | 123 |
| 源URL | [http://ir.iscas.ac.cn/handle/311060/6594]  |
| 专题 | 软件研究所_中科院软件所_中科院软件所 |
| 推荐引用方式 GB/T 7714 | 张敏. 高等级数据库管理系统安全保障技术研究[D]. 软件研究所. 中国科学院软件研究所. 2007. |
入库方式： OAI收割
来源：软件研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。