-
题名BLP模型主体敏感标记动态调整方案及其正确性证明
被引量：6
- 1
-
-
作者
朱国华
卢正鼎
洪帆
-
机构
华中科技大学计算机学院
-
出处
《小型微型计算机系统》
CSCD
北大核心
2003年第11期2012-2015,共4页
-
文摘
介绍了一个增强的强制存取控制模型 ,并进行了安全性证明 .该模型对传统 BL P模型的主体敏感标记标志进行了扩充 ,将读写敏感标记分开为分离的权限区间 .实际运行时 ,主体根据客体的敏感标记和主体的历史访问过程 ,根据一定的策略在读写区间内分别动态调整改变主体的当前读、写敏感标记 .该改进方案可以提高 BL
-
关键词
BLP安全模型
读写分离
区间权限
动态调整
-
Keywords
BLP
separated write and read sensitivity label
sensitivity range
dynamic determination
-
分类号
TP309
[自动化与计算机技术—计算机系统结构]
TP316
[自动化与计算机技术—计算机软件与理论]
-
-
题名一种改进的BLP模型主体敏感标记及其动态调整方案
被引量：1
- 2
-
-
作者
卢正鼎
朱国华
-
机构
华中科技大学计算机学院
-
出处
《计算机工程与科学》
CSCD
2004年第1期26-30,共5页
-
文摘
本文对经典BLP模型的主体敏感标记进行改进,提出一个读写敏感度标记分离、区间权限、动态调整主体当前敏感标记的方案。该方案中主体的读写敏感度标记是相互分离的安全级区间,主体根据客体的敏感标记和主体的历史访问过程,根据一定的策略在读写区间内分别动态调整主体的当前读、写敏感标记而不破坏系统的安全性,从而提高BLP模型的灵活性和实用性。
-
关键词
BLP模型
主体敏感标记
动态调整
状态机模型
兼容性
操作系统
-
Keywords
BLP model
separated write and read sensitivity label
sensitivity range
dynamic determination
-
分类号
TP316
[自动化与计算机技术—计算机软件与理论]
-
