论文部分内容阅读
数据库安全理论和技术不仅是数据库理论研究的重要方向，而且也是信息安全的重要研究方向。本文提出采用主从结构表的方法对BLP模型加以改造，使得改造后的BLP模型具有较高的可用性和安全性；通过修改安全约束的定义，使得安全约束之间始终是协调的，并给出一种高效的密级分配算法；讨论了推理通道问题，给出了在数据库分析、设计等阶段可以采用的对策；分析了事务从传统的单级扩展到多级面临的众多难题，给出了一种基于多版本串行化图的事务调度算法；根据上述理论，开发了一个多级安全数据库管理系统的原型系统。实验结果表明提出的安全模型、密级分配算法和事务调度算法是正确的。