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

来源 :计算机学报 | 被引量 : 0次 | 上传用户:jiaomengni
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
具有强制存取控制的数据库称为B1级数据库,强制存取控制为所有主体和客体定义一安全级,安全级为一分层密级和一非分层范围组成的二元级,现有的强制存取控制系统都采用向上写向下读的策略,严重地影响了系统的可用性和灵活性。此外,现有的对非分层范围的安全控制规则也存在着缺陷。针对这些问题,文中提出一种改进的多级安全模型,修改了安全级的定义和相应的安全检查规则,从而增强了系统的安全性和可用性,修改后的安全级定义
其他文献
广义最佳鉴别矢量集是 Foley- Sammon最佳鉴别矢量集的一种推广 ,它与 Foley- Samm on最佳鉴别矢量集的不同之处在于广义最佳鉴别矢量集从整体上考虑投影集的可分性 ,即样本在广义最佳鉴别矢量上的投影集从整体上具有最佳的可分性 .该文给出了广义最佳鉴别矢量的定义 ,对求解广义最佳鉴别矢量集的已有算法从理论上作了分析 ,指出了其中的不足之处 ,给出了一种迭代算法 ,从理论上证明了迭
针对一个基于共享变量的带有进程创建的命令式语言,用变迁系统描述了它的结构操作语义,并用扩展的状态变迁迹模型定义了它的指称语义,在该模型下,状态变迁被区分为两种不同形式,分