多级安全关系数据库系统的分析和设计

本文论述了多级关系数据库系统的一些基本问题，并介绍了一个新的多级安全关系数据库管理系统ＳＤＢ／Ｐ的设计。     

一个用于多级安全关系数据库系统的改进Bell La Padula模型

本文简要地介绍了用于安全计算机系统的Ｂｅｌｌ Ｌａ Ｐａｄｕｌａ模型,根据关系数据库中数据对象的逻辑关系,提出了一个用于多级安全关系数据库的Ｂｅｌｌ－Ｌａ Ｐａｄｕｌａ模型的改进模型,改进模型对原模型的系统状态、公理和状态转换规则进行了修改,证明了修改后的状态转换规则是“安全保持”和“性质保持”的,并证明了经改进后的模型所给出的系统是安全的。     

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

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

多级安全DBMS的通用审计策略模型

提出了一种基于多级安全数据库管理系统的通用审计策略模型.该模型具有丰富的表达能力,既可以表达基于时间的审计策略,也可以实现基于规则的审计策略推衍.通过引入对象的属性谓词,还可以表达细粒度的审计策略.证明了该模型的可判定性,并给出了判定任意一个事件是否需要审计的算法.     

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

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

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

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

一个多级安全关系数据模型

本文道德给出了一个基于数据项的多级安全关系数据模型的形式化描述，然后就其完整性进行了较详细的讨论。     

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

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

动态多级安全数据库系统(DMSDS)的设计与实现

该文描述了在ＯＲＡＣＬＥ环境下实现的基于约束处理的细粒度动态多级安全数据库系统（ＤＭＳＤＳ）中所实施的多级安全模型，并介绍了实现该模型所进行存取控制、安全等级分派等模块的设计和实现。     

多级安全数据库的语义

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

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

本文提出了为每一元素（数据项）赋予安全级时的多级关系－层次数据模型，该模型处理多级空间数据，在该模型下，引入了上下层关系完整性，在吸收基于信赖的语义和基于事实的语义思想的基础上，修改了SELECT语句的格式和语义，扩充了MLR中基于数据的语义，为防止数据模型引入的隐通道，我们修改了MLR中其它SQL语句的语义和处理，最后证明了多级关系－层次数据模型是安全的。     

安全操作系统审计的设计与实现

审计子系统作为安全操作系统的一个重要组成部分,对于监督系统的正常运行、保障安全策略的正确实施、构造计算机入侵检测系统等都具有十分重要的意义。给出了一个基于Linux资源,拥有自主版权,符合GB17859－1999第三级“安全标记保护级”的审计子系统的设计和实现。在此审计系统中,通过在核内及应用程序中设置审计点,以全面地收集数据;通过在主体和客体两方面设置审计标准,使审计标准的配置更加灵活、全面;通过优化缓冲区的管理,提高了整个子系统的效率。     

电子商务安全审计系统的设计与实现

实现一个分布式、多层次、全面的电子商务安全审计系统。它是一种多代理的安全审计系统,这些代理分别专注于不同层面的安全审计,然后在审计中心实现了数据分类与关联分析。     

安全Linux内核安全功能的设计与实现

CC标准是一个新的国际标准,由于缺乏可借鉴的范例,开发符合CC标准 的安全操作系统是一项挑战性的工作。借助一项研究实验结合中国安全保护等级划分准则等3条款,讨论了安全Linux内核安全功能在CC框架下的设计与实现问题,通过CC功能需求组件给出安全功能的定义,从系统结构和安全模型方面讨论安全功能的实现方法,并测算安全机制产生的性能负面影响。研究表明,中国国家标准的要求可以通过CC标准进行描述。最后,还指出了安全操作系统进一步的研究方向。     

安全审计教学实验系统的设计与实现

安全审计技术用来解决内部网络的安全问题.目前企业中应用的安全审计系统并不适合教学实验,提出了大规模交互式安全审计教学实验系统的设计方案,阐述了系统的整体架构,模块化实现以及所用的关键技术.     

变参数混沌同步保密通信方案设计

本文设计了基于Lorenz方程的变参数混沌同步保密通信方案，采用主动-被动 同步方式．提出同步误差放大、基波缩减的方法，获取对参数变化敏感、互相关性小的加密 变量．应用参数微扰技术建立变参数的Lorenz方程，使基于混沌同步的参数估计的方法不能 奏效．计算机仿真结果表明，方案的同步特性优良，参数敏感性得到显著提高；安全性分析 说明，方案能有效抵御基于相空间重构、噪声削减和基于混沌同步的参数估计的攻击，安全 性好．     

面向多类型数据库的安全审计系统设计

本书针对数据库安全面临的威胁,在分析数据库安全风险和审计系统构成事件的基础上,设计了数据库安全审计模型。根据该模型,采用审计规则构建和规则匹配方法构建了审计数据采集器,跟踪并获取审计数据,经审计数据分析器判断,实现对数据库的安全审计功能。最后,审计系统软件结构设计中,后台业务处理和后台数据处理流程设计进行了详细描述,并给出了部分设计结果。     

办公信息管理系统GLPMIS的多级授权接口设计

本文分析了办公信息管理系统（ＧＬＰＭＩＳ）的授权需求，对商用关系数据库系统（ｆｏｘＢＡＳＥ）进行了授权机制扩充，引出了有关数据授权的基本概念，并讨论了ＧＬＰＭＩＳ授权接口（工具）概要设计的基本思想。