基本信息来源于合作网站,原文需代理用户跳转至来源网站获取       
摘要:
提出了一种可组合的服务链信息流安全验证方法.在保证单一组件信息流安全的基础上,给出相邻组件可组合的信息流安全条件和验证算法.实验和仿真结果表明,相比传统模型检测方法,所提的可组合验证算法能够有效减小验证开销,提高验证效率.
推荐文章
通用可组合安全的WLAN密钥交换协议
无线局域网
密钥交换协议
通用可组合安全
基于模型检测的信息流策略安全性分析
策略安全性分析
分布式信息流控制
模型检测
计算树逻辑
Kripke 结构
基于Petri网的信息流安全属性的分析与验证
Petri网
无干扰属性
广义无干扰属性
广义非推断属性
可分离属性
可组合的鱼雷作战效能评估仿真系统研究
鱼雷作战效能
仿真可组合性
仿真系统
本体
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 基于模型检测的服务链信息流安全可组合验证方法
来源期刊 通信学报 学科 工学
关键词 模型检测 服务链 信息流安全 可组合
年,卷(期) 2014,(11) 所属期刊栏目 网络安全
研究方向 页码范围 23-31
页数 9页 分类号 TP393.2
字数 6938字 语种 中文
DOI 10.3969/j.issn.1000-436x.2014.11.003
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 马建峰 西安电子科技大学计算机学院 389 4956 30.0 50.0
2 张涛 西安电子科技大学计算机学院 54 353 12.0 16.0
3 孙聪 西安电子科技大学计算机学院 12 41 3.0 6.0
4 卢笛 西安电子科技大学计算机学院 10 67 4.0 8.0
5 习宁 西安电子科技大学计算机学院 8 39 4.0 6.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (14)
共引文献  (7)
参考文献  (4)
节点文献
引证文献  (4)
同被引文献  (12)
二级引证文献  (5)
1987(1)
  • 参考文献(1)
  • 二级参考文献(0)
1996(1)
  • 参考文献(1)
  • 二级参考文献(0)
1998(1)
  • 参考文献(0)
  • 二级参考文献(1)
1999(1)
  • 参考文献(0)
  • 二级参考文献(1)
2004(1)
  • 参考文献(0)
  • 二级参考文献(1)
2008(1)
  • 参考文献(0)
  • 二级参考文献(1)
2009(2)
  • 参考文献(0)
  • 二级参考文献(2)
2010(6)
  • 参考文献(0)
  • 二级参考文献(6)
2011(2)
  • 参考文献(0)
  • 二级参考文献(2)
2012(1)
  • 参考文献(1)
  • 二级参考文献(0)
2013(1)
  • 参考文献(1)
  • 二级参考文献(0)
2014(1)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(1)
  • 二级引证文献(0)
2014(1)
  • 引证文献(1)
  • 二级引证文献(0)
2016(1)
  • 引证文献(1)
  • 二级引证文献(0)
2017(1)
  • 引证文献(0)
  • 二级引证文献(1)
2018(5)
  • 引证文献(1)
  • 二级引证文献(4)
2019(1)
  • 引证文献(1)
  • 二级引证文献(0)
研究主题发展历程
节点文献
模型检测
服务链
信息流安全
可组合
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
通信学报
月刊
1000-436X
11-2102/TN
大16开
北京市丰台区成寿路11号邮电出版大厦8层
2-676
1980
chi
出版文献量(篇)
6235
总下载数(次)
17
论文1v1指导