基本信息来源于合作网站,原文需代理用户跳转至来源网站获取       
摘要:
针对SELinux安全策略分析和管理上的困难,提出了一种SELinux信息流分析模型SEHF.首先构造有效安全上下文集合和安全上下文的授权关系,然后根据许可权的信息流语义,用标记转换系统表示的安全上下文关系来刻画信息流.SELIF信息流模型可以直观地表达SELinux策略所描述的安全上下文之间的信息流路径,实现对复杂策略的直观分析和管理.
推荐文章
基于模型检测的信息流策略安全性分析
策略安全性分析
分布式信息流控制
模型检测
计算树逻辑
Kripke 结构
基于模型检测的信息流策略安全性分析
策略安全性分析
分布式信息流控制
模型检测
计算树逻辑
Kripke 结构
电子机构的信息流安全分析
电子机构
访问控制模型
信息流
控制策略
基于核电站网络安全的信息流模型
核电站
网络安全
子网密级
信息流模型
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 基于信息流的SELinux策略分析模型
来源期刊 计算机应用与软件 学科 工学
关键词 SELinux 信息流 安全上下文 授权关系 安全策略
年,卷(期) 2011,(4) 所属期刊栏目 安全技术
研究方向 页码范围 284-288
页数 分类号 TP309
字数 5557字 语种 中文
DOI 10.3969/j.issn.1000-386X.2011.04.085
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 王燕 天津科技大学计算机学院 11 76 5.0 8.0
2 李佳 6 10 2.0 3.0
3 何建波 1 5 1.0 1.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (0)
共引文献  (0)
参考文献  (1)
节点文献
引证文献  (5)
同被引文献  (7)
二级引证文献  (0)
2005(1)
  • 参考文献(1)
  • 二级参考文献(0)
2011(0)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(0)
  • 二级引证文献(0)
2012(1)
  • 引证文献(1)
  • 二级引证文献(0)
2014(1)
  • 引证文献(1)
  • 二级引证文献(0)
2016(1)
  • 引证文献(1)
  • 二级引证文献(0)
2017(1)
  • 引证文献(1)
  • 二级引证文献(0)
2018(1)
  • 引证文献(1)
  • 二级引证文献(0)
研究主题发展历程
节点文献
SELinux
信息流
安全上下文
授权关系
安全策略
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
计算机应用与软件
月刊
1000-386X
31-1260/TP
大16开
上海市愚园路546号
4-379
1984
chi
出版文献量(篇)
16532
总下载数(次)
47
总被引数(次)
101489
  • 期刊分类
  • 期刊(年)
  • 期刊(期)
  • 期刊推荐
论文1v1指导