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

摘要：

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

关键词：隐通道、语法信息流分析、访问控制、保密性安全策略

所属期刊栏目：5

分类号：TP309(计算技术、计算机技术)

资助基金：The National Natural Science Foundation of China under Grant No.60773049,61003288;the Natural Science Foundation in Colleges of Jiangsu Province under Grant No.08KJD520015;the Talent Foundation of Jiangsu University under Grant No.07JDG014

在线出版日期：2011-04-29（万方平台首次上网日期，不代表论文的发表时间）

页数：共14页

页码：179-192