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