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

被引:4
作者
洪帆
蔡蔚
余祥宣
机构
[1] 华中理工大学计算机科学与工程系
关键词
多级安全; 关系数据库; 系统状态; 公理; 状态转换规则;
D O I
暂无
中图分类号
TP311.132.3 [];
学科分类号
摘要
本文简要地介绍了用于安全计算机系统的Bell_LaPadula模型,根据关系数据库中数据对象的逻辑关系.提出了一个用于多级安全关系数据库的Bell_LaPadula模型的改进模型.改进模型对原模型的系统状态、公理和状态转换规则进行了修改.证明了修改后的状态转换规则是“安全性保持”和“*-性质保持”的.并证明了经改进后的模型所给出的系统是安全的.
引用
收藏
页码:763 / 769
页数:7
相关论文
empty
未找到相关数据