信息流图的分割算法

计算机科学 ›› 2008, Vol. 35 ›› Issue (10): 126-130.

信息流图的分割算法

出版日期:2018-11-16 发布日期:2018-11-16
基金资助:
本文受到国家自然科学基金（60573046,60773049）,江苏省高校自然科学研究计划（07KJB520016）和江苏大学高级人才项目（07JDG053）的资助.

Online:2018-11-16 Published:2018-11-16

摘要/Abstract

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

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

Abstract: Information-flows of mains and objects in a Multi-level security system could be used to describe an information-flow chart. This information-flow chart is the important basis of covert-channel search. But the information-flow charts in big system are int

Key words: information-flow,Covert channel,Multi-level security system

. 信息流图的分割算法[J]. 计算机科学, 2008, 35(10): 126-130. https://doi.org/

参考文献

Metrics

Viewed

Full text

Abstract

Cited

Shared

Discussed