基于模型检测的服务链信息流安全可组合验证方法

• 作者: 习宁 卢笛 孙聪 张涛 马建峰
• 来源期刊: 通信学报
• 学科: 工学
• 关键词: 模型检测 服务链 信息流安全 可组合
• 年，卷（期）: 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