安全数据库中的推理控制初探

通过对多级数据库管理系统的深入研究发现,在多级安全数据库中存在多种间接方式导致信息由高级流向低级,因此有必要对数据库进行推理分析。在数据库管理系统实现与多级数据库系统设计时,就可以充分考虑到数据之间的内在联系,做出适当的约束安排,从而尽量避免推理通道的出现。     

安全数据库中的推理控制初探

通过对多级数据库管理系统的深入研究发现,在多级安全数据库中存在多种间接方式导致信息由高级流向低级,因此有必要对数据库进行推理分析,在数据库管理系统实现与多级数据库系统设计时,就可以充分考虑到数据之间的内在联系,做出适当的约束安排,从而尽量避免推理通道的出现。     

动态推理控制

防止未授权的用户从可读取的安全等级较低的数据中推理出安全等级较高的数据是多级关系数据库达到安全的必要保证。由于数据库中元组、属性、元素之间的相互关联性,多级关系数据库存在着推理通道。它的存在对信息的安全造成很大威胁。主要论述了多级安全数据库系统的推理通道的来源,分析了目前在多级安全数据库系统中推理问题的成果。在此基础上,提出了一种动态控制推理通道的方法并给出了相应算法。     

动态推理控制

防止未授权的用户从可读取的安全等级较低的数据中推理出安全等级较高的数据是多级关系数据库达到安全的必要保证.由于数据库中元组、属性、元素之间的相互关联性,多级关系数据库存在着推理通道.它的存在对信息的安全造成很大威胁.主要论述了多级安全数据库系统的推理通道的来源,分析了目前在多级安全数据库系统中推理问题的成果.在此基础上,提出了一种动态控制推理通道的方法并给出了相应算法.     

一种基于概念图的推理问题解决方法

本文使用概念图为数据库的推理问题建立了相关的解决模型,给出了推理相关的知识 表示及推理过程的描述,建立了相关的推理控制系统。     

数据库推理通道的动态控制

数据库推理问题是数据库安全研究的重要组成部分,主要研究推理通道的检测方法和控制策略。该文提出一种动态控制推理通道的方法。该方法为每个推理通道建立一个标识集合,利用集合中元素和推理通道中对象的关联来控制查询的处理,使用户能灵活地访问数据但又得不到足够的信息来推理。与以前提出的方案不同,该方案保证了数据的最大可用性,同时有效地阻止推理并保持了快速的查询处理能力。     

基于推理通道的函数依赖推理控制

数据库推理控制是数据库安全领域的重要研究内容.函数依赖关系在推理攻击中通常会起到重要作用.文中对基于函数依赖关系的推理控制问题进行了研究,在推理通道思想的基础上,提出了一种基于最小函数依赖集构造推理通道的方法,以及一种基于推理通道的动态组合通道实例的方法,实现了在数据库运行阶段针对函数依赖关系的动态推理控制.上述方法已应用于国产数据库神舟OSCAR安全版中,实践表明,上述方法能够有效地防御基于函数依赖关系的推理攻击.     

基于数据立方体的动态推理控制方法

基于数据立方体的静态推理控制方法在联机分析处理(OLAP)系统中的访问有效性不高。为此,提出一种基于数据立方体的动态推理控制方法。该方法以提高OLAP系统访问有效性为目的,实时处理在线查询,分析查询方体的推理威胁,阻止其推理产生,并动态返回可访问方体集。实验结果表明,该方法可提高推理系统的有效性,且与静态推理控制方法有相同的安全性。     

基于推理的安全数据库审计框架

信息技术的发展给安全数据库带来了新的挑战,各种安全策略明确以法律条文形式颁布,这要求采用有效的手段证实,对数据库的访问与安全策略的一致性,审计访问数据库的各种查询正好能实现这一目标,但常规的审计方法只能对单个查询的查询结果进行审计,而蓄意破坏的用户可能利用多个查询的查询结果进行推理来访问敏感信息,这就要求审计的同时也应具备基本的推理能力,提出了切实可行的安全数据库推理审计框架,该框架具有①MVD推理审计能力;②FFD推理审计能力;③FD推理审计能力,而且具有审计方法快速、准确、细粒度等特点.     

安全数据库的推理控制

首先对按元素划分安全级的多级数据库上由函数依赖(FD)和多值函数依赖(MVD)引起的推理问题进行了研究,所提出的推理控制算法在很大程度上提高了数据的可用性.为进一步有效防范推理所导致的敏感信息泄露,给出了基于视图的推理控制方法.该方法能够处理多视图合谋带来的安全问题.最后给出了视图依赖基划分原理,它是以后有关视图推理控制的基础.     

一种基于Petri 网推理的实例修改方法

实例修改是CBR 的关键技术,实例在修改过程中具有较强的领域依赖性,与实例修改相关的领域知识通常以规则的形式存储于规则知识库中,而规则知识库缺乏整体的协调和组织,基于规则的推理效率比较低。本文提出了一种基于Petri 网推理的实例修改方法。首先采用Petri 网表示规则,较好地反映知识的条理性和内部逻辑;其次利用Petri 网的数学原理进行推理,克服了规则推理效率低的缺点。并采用电冰箱为应用实例,验证了上述方法的可行性和有效性。     

一种近似推理的地图匹配算法

针对车载导航系统研究中,由于定位传感器存在漂移误差,导航误差随时间逐步增加。因此,需要引入其它高精度稳定测量环节,用以修正漂移误差,提高导航精度。电子地图是车载定位定向系统中的重要组成部分。借助电子地图特殊的空间分析功能,按照＂正常情况下车辆总是行驶在道路上＂的假设,可以通过仿真验证证明采用的方法可有效地校正导航系统的定位误差,并提出了一种基于近似推理的地图匹配算法,根据算法需要对电子地图数据库的建立提出了构想,并通过跑车试验进行了验证可行性。     

一种基于定性推理的网页分类方法

本文描述一种基于定性推理的网页分类方法,即通过对网页属性与样本集的相关性来得出结果。我们通过做实验对该方法进行了测试,获得了满意的结果。     

基于粗集理论的推理风险量化分析方法

研究了基于粗集理论评估安全数据库中敏感数据的推理风险的方法．粗集理论被用于发现关系内部存在的潜在规则．并依据这些推理规则评估敏感数据所面临的推理风险．如果推理风险大于某个阈值，则提高敏感数据所在元组部分或全部属性的安全级，从而可以保证数据库中的敏感数据是推理安全的．     

一种基于实例推理的概念学习方法

特征结构是一种新的实例表示方法,结合本体提供的术语和类别层次关系特别易于表达复杂的关系结构型实例,首先讨论了一种基于特征结构实例推理的概念学习方法:C-LID算法,在提出基于特征结构实例推理解决概念学习问题的相似原则和语义包含原则基础上分析了C-LID算法的缺点,进一步提出了基于豪斯多夫距离和K-S相似度的消极概念学习方法R-LID,一方面R-LID是C-LID算法在相似原则下的扩展,另一方面R-LID避免了最多最优偏置下近邻选取不当造成的误差。将R-LID用于化合物致癌等级划分的开放问题上,结果表明R-LID算法具有更好的性能。     

一种基于乐观方法的安全实时并发控制协议

实时数据库通常应用在一些安全关键类应用中,如电子商务、股票交易、军事指挥系统等。在这样一些应用中,实时数据库系统需同时满足两方面的需求：确保数据安全和尽可能减低实时事务错过截止期的比率。然而,通常这两方面需求是相互冲突的,满足一方面是以牺牲另一方面为代价。本文提出了一种基于乐观方法的安全实时并发控制协议,该协议将安全约束整合到实时乐观并发控制协议中,并能根据应用的需求在安全性和实时性方面进行了适当的折中。性能测试结果显示,该协议在确保数据安全的同时并未明显地降低实时性能。     

基于粗糙集的推理通道消除

基于粗糙集理论对推理通道问题进行了研究。通过采用属性约简和属性值约简方法对数据库中的数据进行处理。在属性值约简基础之上,采用一种改进算法找出了数据库中推理规则集。进一步,将推理规则集中属性频率高的属性安全级别提高至决策属性的安全级别,从而消除推理通道。最后通过一个实例表明提出的消除通道算法是有效的。     

基于关系数据库的推理通道分析模型

安全分布式数据库系统中,常会出现信息不一致现象,由此产生推理通道。本文提出了一个基于语法的推理通道的分析模型,该模型通过对代码进行分析,能够准确找出系统可能存在的安全漏洞。