多级安全数据库系统推理问题研究

在多级安全数据库系统中,推理问题是低安全级的用户利用他能够访问到的数据以及自身的知识,推断出高安全级的机密信息,从而构成对数据库的攻击。该文综述了控制数据库推理问题的方法,并比较了它们的优缺点。

一种基于粗糙集的多级安全数据库推理问题的量化分析方法

信息大都存放在数据库中,信息安全很大程度上依赖数据库的安全。推理是从已知的信息推出新的信息,它是对数据库安全的一个重要威胁,特别数据挖掘的发展,这个威胁变得更加严重。简单描述了多级安全数据库系统的推理问题;介绍了粗糙集理论的相关概念;利用粗糙集理论提出了一种对推理风险进行量化的方法,它不依赖系统安全员的知识,能够处理确定性和非确定性的推理通道;并给出了一个分析例子。

多级安全数据库系统中多级事务原子性的研究

文章在证明了不可能同时保证多级事务的原子性和安全性的基础上,介绍了多级事务三种不同程度的原子性,给出了两种基本算法,并通过引入多版本机制消除事务节间的语义依赖。

多级安全数据库系统的推理分析

介绍了多级安全数据库系统的推理问题,及用于推理的信息来源和方法策略;研究并分析了目前在多级安全数据库系统中推理问题的成果:推理的形式化,数据库设计中的推理控制技术,数据库系统运行时的推理控制方法,以及数据级的椎理控制方法,并指出了各个方法的局限性。

多级安全数据库的语义

在含有多重实例的多级安全数据库中，各个用户都有其自身信赖的数据集合。本文提出了将多级安全数据库映射成为多个数据库，各个用户在其信赖的数据库上进行操作的思想。文章讨论了不同安全级用户所信赖的数据库之间的关系，介绍了一种新的安全的关系代数运算及相应的查询表示方法。

核心化多级安全数据库系统未决提交事务日志写出依赖研究

核心化体系结构的多级安全数据库系统中不同级别事务由该级别DBMS实例处理,DBMS实例自行维护事务日志缓存.事务处理过程中高级事务可能读取已提交的低级事务数据,如果低级事务提交日志记录尚未写入持久存储,而高级事务已提交并且提交日志记录写入持久存储后系统崩溃,恢复后系统将进入不一致的状态.为解决上述问题引入一个可信的日志协调实体维护全局的未决提交事务间的依赖关系,并协调各个DBMS实例的提交日志记录写出操作,保证被依赖的提交日志记录先于依赖它们的日志记录写入持久存储.文中还给出了方案的实现算法,并证明了算法的正确性,通过分析论证了方案的实用性.

多核处理器下SKLOIS多级安全数据库查询方法研究

针对传统方法存在多核处理器下SKLOIS多级安全数据库查询不准确的问题,提出一种新的多核处理器下SKLOIS多级安全数据库查询方法。用一个加权有向图对多核处理器下SKLOIS多级安全数据流图进行描述。为数据流图中所有结点分配一个内核。依据数据流图中规定的执行顺序执行给定查询语句,完成查询语句的并行执行。查询语句通过LBT树模型获取,通过定义三种多核处理器下的SKLOIS多级安全数据库查询类型获取LBT搜索空间大小的上界和下界。搜索整个查询执行计划空间,获取一个具有最小开销的LBT查询树,给出LBT方法的查询代码。实验结果表明,所提方法具有很高的查询响应速度,且针对更新数据具有快速适应能力。

多级安全数据库BLP模型分析与改进

针对目前多级安全数据库BLP模型的缺陷,提出了对其密级、范围和访问规则的改进方法,以提高数据库的安全性。

多级安全数据库中标记生成规则的一致性

在多级安全数据库中，各种对象的安全标记随着数据库状态的变化而动态变化。系统根据标记生成规则库对各种对象进行标记。论文根据更新阶段使用的基于内容的标记生成规则提出了标记子的概念，并使用形式推演技术给出了这种规则一致性的判别算法以及实现方法。

多级安全数据库推理通道综述

介绍了多级安全数据库系统中存在的推理通道,推理攻击的种类,推理通道的4种形式化描述方法。在此基础上,介绍了目前国内外最新的检测和消除多级安全数据库中推理通道的最新技术成果和未来研究热点与方向。

多级安全数据库中推理控制功能的设计及实现鄢

为在数据库安全增强工作中如何进行推理控制给出了一种较为完整的解决方案。

多级安全数据库管理系统的军事运用分析

本文针对军事需求的特点,分析了多级安全数据库系统在军事应用中的地位、功能需求和安全性等问题,并提出原则和建议,即要提高访问控制规则的强壮性,重点要放在数据库结构设计上,对保密信息可采用"密级透明内容保密"的原则。

一种新的实现多级安全数据库系统的方法

为了解决多级关系实现时存在的重复联接和虚假元组等问题,这里提出了一种新的多级关系分解和恢复算法。该算法采用水平分片的方式将多级关系划分为多个单级关系,并且可以根据需要从这些单级关系中重构多级关系。与SeaView算法相比,该算法不需要对多级关系执行垂直分片,因此它在恢复多级关系时只需要在单级关系集合上执行联合操作,从而提高了多级关系的存取效率并且消除了虚假元组。

多级安全数据库修改过程中的安全约束处理方法

在数据库修改时运用约束处理进行数据安全等级的重新指派，是实施多级安全数据库管理的重要一环。本文说明了修改约束处理器的技术和结构，分析了ＵＣＰ确定修改请求的安全等级算法，并提出了重新指派数据库原有数据安全等级的算法；最后，讨论了修改约束处理中的技术难题。

多级数据库安全模型

多级安全是指一种保护敏感级信息资源不被非法使用的控制策略,它将系统内的主体(如用户、进程、事务)与客体(如文件、设备、表、元组等)按需要分成不同的安全级,通过安全级来限制主体对客体的访问。数据库管理系统中的多级安全是指使每个主体(直接或间接)仅能访问其有许可权的客体。作者研究出一个实现强制访问控制和自主访问控制的多级安全数据库模型,模型满足TCSEC的B1级安全要求。

多级安全关系数据库技术及现状

本文从多级安全关系数据库的概念、安全数据模型和系统结构等方面介绍了多级安全关系数据库的技术和现状。

多级安全关系数据库设计过程中推理问题研究

本文部分解决了在多级安全数据库设计过程中违反数据库安全约束规则的函数依赖引起的推理通道问题。

多级安全空间数据库的语义

本文提出了为每一元素 (数据项 )赋予安全级时的多级关系 -层次数据模型 ,该模型能处理多级空间数据 .在该模型下 ,引入了上下层关系完整性 .在吸收基于信赖的语义 〔5〕和基于事实的语义 〔1〕思想的基础上 ,修改了 SEL ECT语句的格式和语义 ,扩充了 ML R〔6〕中基于数据的语义 .为防止数据模型引入的隐通道 ,我们修改了 ML R中其它 SQL 语句的语义和处理 ,最后证明了多级关系

多级安全实时数据库系统安全性与实时性需求的冲突分析

一个多级安全实时数据库系统不仅需要有安全限制,同时也要有时间约束.由于安全性与实时性需求之间冲突的存在而不可避免地产生隐蔽通道和优先倒置问题,文中首先分析多级安全实时数据库系统中实时性与安全性需求之间的冲突,而后基于HP 2PL协议,结合安全因素给出了一种解决冲突的算法.

多实例的多级安全关系数据库数据模型研究

现有的基于多实例的多级安全数据模型中 ,存在着语义的二义性问题和更新操作的元组增生问题 ,增加了系统实现和用户操作的复杂度 ,也存在着潜在的安全隐患 .本文系统地结合多实例和伪元组的概念 ,以形式简单、易于实现并避免引入隐通道为原则 ,对上述模型进行了改进 ,提出了一个新的“同级读、同级写”