一种改进的多级安全关系数据模型

现有的多级安全系统一般采用Bell LaPadula(BLP)模型，但是BLP模型的“向下读，向上写”的访问规则严重影响了系统的可用性、灵活性，破坏了数据完整性。BLP模型也没有对推理进行任何控制。针对上述缺陷，文中采用读写权限分开、多实例、主从结构表和修改读写规则等手段对BLP模型进行改造。改造后的模型不仅增强了系统的机密性而且增强了可用性和数据完整性。     

基于多版本快照的多级安全事务调度算法

现有的各种用于多级事务调度的算法都主要是采用锁机制来解决的,在多级安全系统环境中,正是这个锁机制使得系统在高低安全级事务发生读写冲突时无所适从,从而使得这些算法都只能各自处理某些类多级事务.针对这些缺陷,文中提出了一种有效的、无需对数据上锁的多级安全事务调度算法--多版本快照算法.算法通过消除多版本串行化图(Multiversion Seriarization Graph,MSG)中出现环的方法来达到并行事务的可串行化.文中还证明了算法的正确性,并对算法的安全性进行了分析.     

多级安全数据库保密性和数据完整性研究

保密性、完整性和可用性是多级安全数据库必须具备的三要素,然而完整性和保密性的要求往往不一致,现有的多级安全系统一般采用牺牲数据完整性和可用性的方法来获得较高的保密性。该文通过对传统安全模型进行改造,使之具有较高的保密性、数据完整性和可用性。