B1级数据库管理系统强制存取控制模型研究

来源 :计算机学报 | 被引量 : 0次 | 上传用户:jiaomengni
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
具有强制存取控制的数据库称为B1级数据库,强制存取控制为所有主体和客体定义一安全级,安全级为一分层密级和一非分层范围组成的二元级,现有的强制存取控制系统都采用向上写向下读的策略,严重地影响了系统的可用性和灵活性。此外,现有的对非分层范围的安全控制规则也存在着缺陷。针对这些问题,文中提出一种改进的多级安全模型,修改了安全级的定义和相应的安全检查规则,从而增强了系统的安全性和可用性,修改后的安全级定义
其他文献
许多研究表明概念格是数据分析与规则提取的一种有效工具。本文首先提出一种在对象与描述符数目较多、概念聚类具有一定规模条件下,在已建造好的概念格上有效地提取规则的算法
当需要某一款通用紧固件时,寻了无数厂商依然找不到现货?当需要订做多品质非标产品时,却很难找到能供货的厂商?当急需某一产品时,交货期总是难以如愿?如果你从事紧固件行业,相信
广义最佳鉴别矢量集是 Foley- Sammon最佳鉴别矢量集的一种推广 ,它与 Foley- Samm on最佳鉴别矢量集的不同之处在于广义最佳鉴别矢量集从整体上考虑投影集的可分性 ,即样本在广义最佳鉴别矢量上的投影集从整体上具有最佳的可分性 .该文给出了广义最佳鉴别矢量的定义 ,对求解广义最佳鉴别矢量集的已有算法从理论上作了分析 ,指出了其中的不足之处 ,给出了一种迭代算法 ,从理论上证明了迭
细节的准确、生动可以成就一件伟大的作品;细节的疏忽会毁坏一个宏伟的规划。
5月5日上午.河南畜牧规划设计研究院揭牌仪式在郑州隆重举行。
本文在Vakarelov的信息逻辑IL的基础上,通过引入新的模态词以及模态词间的布尔运算建立了BILC系统,研究了系统的语义,提出在布尔模态语言下解决Vakrelov问题的思想上,主要结果表明在BILC语言下要彻底解决Vakarelov问题
关键词一:背景 中央对“十一五”的指导方针十分明确,那就是要加强自主技术创新,转变增长方式。这是一个新的历史阶段,也是一个新的起点。我们举办“2005中国国际机械传动工业发
针对一个基于共享变量的带有进程创建的命令式语言,用变迁系统描述了它的结构操作语义,并用扩展的状态变迁迹模型定义了它的指称语义,在该模型下,状态变迁被区分为两种不同形式,分
Smalktalk语言的概念和语法结构简洁,程序易于理解,但它的某些特性(如动态绑定、动态类型)仍然对Smalltalk程序的理解构成障碍,而且随着应用系统复杂性增大以及类库的增长,对Smalltalk程序理解的难度也随之增大
目前,我国的汽车工业在飞速发展,国内已有一大批车用准双曲面齿轮制造厂家。但由于工艺水平、设备和刀具精度的差异,大多数厂家生产的齿轮还都存在质量低、噪声高、有异响的现象