面向无传递性安全策略的语法信息流分析方法

• 作者: 刘志锋 吴海玲 周从华 陈松
• 来源期刊: 计算机科学与探索
• 学科: 工学
• 关键词: 隐通道 语法信息流分析 访问控制 保密性安全策略
• 年，卷（期）: 2011,（2）
• 页码范围: 179-192
• 分类号: TP309
• 字数: 10776字
• 语种: 中文
• DOI: 10.3778/j.issn.1673-9418.2011.02.008

摘要

传统的语法信息流分析方法均基于实施机密性安全策略的信息流格模型,而格关系的传递特性使得该方法不能用来分析实施无传递性安全策略的系统的安全性,提出一种新的标识隐蔽信息流的语法信息流分析方法,该方法对实施具有传递性和无传递性安全策略的系统均适用.将信息流语义附加在每条语句之后,定义一种称为信息流时序图的图结构来刻画信息流发生的时序关系,给出了基于源程序的信息流时序图的构造方法,提出了一种基于时序图的隐蔽信息流的标识算法.另外,针对并发程序的并发特性,提出了一种简化信息流时序图的方法,在该方法下只要考虑并发进程之间特定的交互次序即可,而不需要考虑所有可能的交互方式.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	吴海玲	江苏大学计算机科学与通信工程学院	4	2	1.0	1.0
2	周从华	江苏大学计算机科学与通信工程学院	46	193	7.0	11.0
3	刘志锋	江苏大学计算机科学与通信工程学院	29	118	5.0	10.0
4	陈松	江苏大学计算机科学与通信工程学院	21	121	7.0	10.0