基本信息来源于合作网站,原文需代理用户跳转至来源网站获取       
摘要:
介绍了一个增强的强制存取控制模型, 并进行了安全性证明.该模型对传统BLP模型的主体敏感标记标志进行了扩充,将读写敏感标记分开为分离的权限区间.实际运行时,主体根据客体的敏感标记和主体的历史访问过程,根据一定的策略在读写区间内分别动态调整改变主体的当前读、写敏感标记.该改进方案可以提高BLP模型的灵活性和实用性.
推荐文章
一种改进的BLP模型主体敏感标记及其动态调整方案
BLP模型
读写分离
区间权限
动态调整
一种基于程序正确性证明理论的程序开发方法
程序的形式推导方法
程序规范
循环不变式
主体当前敏感标记动态确定方案研究
计算机安全
安全操作系统
安全模型
敏感标记
主体
Z-H算法正确性证明第四次改写
算法
MSP问题
HC问题
NP问题
NP完全问题
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 BLP模型主体敏感标记动态调整方案及其正确性证明
来源期刊 小型微型计算机系统 学科 工学
关键词 BLP安全模型 读写分离 区间权限 动态调整
年,卷(期) 2003,(11) 所属期刊栏目
研究方向 页码范围 2012-2015
页数 4页 分类号 TP309|TP316
字数 5793字 语种 中文
DOI 10.3969/j.issn.1000-1220.2003.11.031
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 洪帆 华中科技大学计算机学院 161 2780 28.0 45.0
2 卢正鼎 华中科技大学计算机学院 264 3116 25.0 39.0
3 朱国华 华中科技大学计算机学院 9 49 5.0 7.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (1)
共引文献  (27)
参考文献  (1)
节点文献
引证文献  (13)
同被引文献  (6)
二级引证文献  (50)
1988(1)
  • 参考文献(0)
  • 二级参考文献(1)
2001(1)
  • 参考文献(1)
  • 二级参考文献(0)
2003(0)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(0)
  • 二级引证文献(0)
2005(1)
  • 引证文献(1)
  • 二级引证文献(0)
2006(6)
  • 引证文献(4)
  • 二级引证文献(2)
2007(6)
  • 引证文献(4)
  • 二级引证文献(2)
2008(7)
  • 引证文献(1)
  • 二级引证文献(6)
2009(11)
  • 引证文献(0)
  • 二级引证文献(11)
2010(7)
  • 引证文献(1)
  • 二级引证文献(6)
2011(4)
  • 引证文献(0)
  • 二级引证文献(4)
2012(7)
  • 引证文献(1)
  • 二级引证文献(6)
2013(3)
  • 引证文献(0)
  • 二级引证文献(3)
2014(3)
  • 引证文献(0)
  • 二级引证文献(3)
2015(1)
  • 引证文献(0)
  • 二级引证文献(1)
2017(5)
  • 引证文献(1)
  • 二级引证文献(4)
2018(1)
  • 引证文献(0)
  • 二级引证文献(1)
2019(1)
  • 引证文献(0)
  • 二级引证文献(1)
研究主题发展历程
节点文献
BLP安全模型
读写分离
区间权限
动态调整
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
小型微型计算机系统
月刊
1000-1220
21-1106/TP
大16开
辽宁省沈阳市东陵区南屏东路16号
8-108
1980
chi
出版文献量(篇)
11026
总下载数(次)
17
总被引数(次)
83133
  • 期刊分类
  • 期刊(年)
  • 期刊(期)
  • 期刊推荐
论文1v1指导