基于peri网的隐蔽流存在性判定方法.docxVIP

基于peri网的隐蔽流存在性判定方法 1 无干扰分析方法 保护数据的机密性是安全系统最基本的安全需求。目前，安全网络系统通常采用独立的访问控制战略和强制访问控制策略，以防止直接访问敏感数据，并限制系统信息的传输。然而，访问控制只能防止显示信息以访问操作为基础的，而隐藏信息以非访问操作为基础的。例如，通过影响系统的执行环境间接传输信息，这种隐藏信息传播方式通常被称为隐藏信息流。隐性信息的识别是发展多段安全系统必须解决的问题。 目前,已经诞生了一些隐蔽信息流标识方法,可以概括为两类:一类是基于程序结构的静态分析方法,如Kemmerer等人提出的共享资源矩阵法、隐蔽流树法,Denning等人提出的语法信息流方法,Tsai等人提出的语义信息流方法,卿斯汉等人提出的回溯方法等;另一类是基于程序动态行为的信息流分析法,如Gouen等人提出的无干扰分析法.静态分析方法均是建立在对程序结构分析的基础上,在实际使用中可以发现一些隐蔽信息流,但是这些方法以手工处理为主,而且依赖于以往经验和个人能力,因此使用时不仅工作量大,而且非常容易出错.信息流分析法是一种形式化方法,其本质是一个用户不应当知道他不支配的其他任何用户的任何动作.事实上,不管是直接的信息泄露还是间接的信息泄露,都可以看成系统中信息的流动,因此信息流分析法被认为是一种有前景的方法.其主要缺点是使用时依赖“展开定理”.本文的一个研究点就是