推理通道和隐蔽通道的检测与消除

摘要

该文首先介绍了安全数据库的概念和安全数据库的分级,然后介绍了推理通道的概念以及多级安全数据库中推理通道的研究现状,并且描述了一些检测和消除推理通道的方法.该文通过使用泄漏推理引擎扩展了强制存取控制机制,确保了数据的安全性.该文使用具有高度表达性的Horm子句约束开发了用于数据依赖的数据独立泄漏的推理算法.该文引入了多实例以解决多级数据库中的隐蔽信号通道,因此必须对传统的关系模型进行根本变革.该文介绍了多级关系的概念并阐述了更新操作在多级关系中的语义.该文提出了一种新的多级关系的分解和恢复算法并使用实例说明了它的操作过程.

目录

文摘

英文文摘

第1章绪论

1.1引言

1.2国内外研究现状

1.3本文的研究内容

第2章推理通道和隐蔽通道

2.1引言

2.2特殊推理通道

2.2.1基于查询中敏感数据的推理

2.2.2统计数据库的推理问题

2.2.3结合元数据从数据中推理

2.3推理问题的一般特征

2.4处理推理通道的工具和技术

2.5隐蔽通道

2.6本章小结

第3章在数据库中检测推理通道

3.1引言

3.2泄漏监控体系结构

3.2.1数据，查询和安全分级

3.2.2泄漏监控器

3.3数据库约束和数据泄漏

3.4数据依赖泄漏

3.5数据独立泄漏

3.6本章小结

第4章使用多实例消除隐蔽通道

4.1引言

4.2多级关系

4.3内核完整性

4.3.1实体完整性

4.3.2空完整性

4.3.3相关实例完整性

4.3.4多实例完整性

4.4更新操作

4.4.1插入操作

4.4.2更新操作

4.4.3删除操作

4.5分解和恢复

4.5.1操作环境

4.5.2分解算法

4.5.3恢复算法

4.5.4举例说明

4.5本章小结

第5章多级安全数据库管理系统的设计

5.1系统的体系结构

5.2安全级的定义和比较

5.3系统实现技术

5.3.1多级关系的实现

5.3.2泄漏监控器的实现

5.3.3系统的工作流程

5.5本章小结

结论

参考文献

攻读硕士学位期间发表的论文和取得的科研成果

致谢