原文服务方: 微电子学与计算机       
摘要:
电子机构为自治主体问可信业务协同分析提供了一种框架,但现有的电子机构模型对其中存在的各种信息流还缺乏有效地分析和规范,文中以分析角色之间信息流的传递为前提,提出了用来发现电子机构中潜在非法信息流的算法,并给出了解决非法信息流的控制策略.
推荐文章
基于模型检测的信息流策略安全性分析
策略安全性分析
分布式信息流控制
模型检测
计算树逻辑
Kripke 结构
基于信息流分析的C代码安全编译技术研究
信息流
安全
编译
类型系统
动态环境中的概率信息流安全
信息流安全
进程代数
动态环境
基于Petri网的信息流安全属性的分析与验证
Petri网
无干扰属性
广义无干扰属性
广义非推断属性
可分离属性
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 电子机构的信息流安全分析
来源期刊 微电子学与计算机 学科
关键词 电子机构 访问控制模型 信息流 控制策略
年,卷(期) 2009,(8) 所属期刊栏目
研究方向 页码范围 196-200
页数 5页 分类号 TP311
字数 语种 中文
DOI
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 蔡国永 桂林电子科技大学计算机与控制学院 98 400 12.0 15.0
2 史磊 桂林电子科技大学计算机与控制学院 4 21 2.0 4.0
3 隋新 桂林电子科技大学计算机与控制学院 4 21 2.0 4.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (5)
共引文献  (2)
参考文献  (1)
节点文献
引证文献  (1)
同被引文献  (0)
二级引证文献  (0)
2003(1)
  • 参考文献(0)
  • 二级参考文献(1)
2005(1)
  • 参考文献(0)
  • 二级参考文献(1)
2006(1)
  • 参考文献(0)
  • 二级参考文献(1)
2007(2)
  • 参考文献(0)
  • 二级参考文献(2)
2008(1)
  • 参考文献(1)
  • 二级参考文献(0)
2009(0)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(0)
  • 二级引证文献(0)
2010(1)
  • 引证文献(1)
  • 二级引证文献(0)
研究主题发展历程
节点文献
电子机构
访问控制模型
信息流
控制策略
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
微电子学与计算机
月刊
1000-7180
61-1123/TN
大16开
1972-01-01
chi
出版文献量(篇)
9826
总下载数(次)
0
  • 期刊分类
  • 期刊(年)
  • 期刊(期)
  • 期刊推荐
论文1v1指导