信息流图的分割算法

摘要：

一个多级安全系统的信息传递关系是搜索隐通道的重要依据.由于一个大型多安全级软件系统的信息传递关系非常复杂,对其直接进行信息流分析并搜索隐通道的工作量非常大,因此为进一步提高搜索和分析隐通道的效率,提出了一种将信息流图分割成信息流森林的算法.该算法首先选定一棵父树,然后通过边割集中的弧置换父树中的树枝得到新树,并能从理论上保证分割后得到的信息流森林正确继承原图的信息,即原图中信息流既未被割裂也未丢失.通过对每棵信息流树表示的信息流进行分析就可取代对整个信息流图的分析,从而有效降低了分析问题的规模.

关键词：信息流、隐通道、多级安全系统

所属期刊栏目：35

分类号：TP3;U46

资助基金：国家自然科学基金60573046,60773049;江苏省高校自然科学研究计划07KJB5200616;江苏大学高级人才项目07JDG053

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

页数：共5页

页码：126-130