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