信息流图的分割算法.pdfVIP

计算机科学 2008Vo1．35NQ．10 信息流图的分割算法 钱 炜 鞠时光 王昌达 宋香梅 (江苏大学计算机科学与通信工程学院 镇江 212013) 摘 要 一个多级安全系统的信息传递关系是搜索隐通道的重要依据。由于一个大型多安全级软件系统的信息传递 关系非常复杂，对其直接进行信息流分析并搜索隐通道的工作量非常大，因此为进一步提高搜 索和分析隐通道的效 率，提 出了一种将信息流图分割成信息流森林的算法。该算法首先选定一棵父树，然后通过边割集中的弧置换父树 中 的树枝得到新树，并能从理论上保证分割后得到的信息流森林正确继承原图的信息，即原图中信息流既未被割裂也未 丢失。通过对每棵信息流树表示的信息流进行分析就可取代对整个信息流图的分析，从而有效降低 了分析问题的规 模 。 关键词 信息流，隐通道，多级安全系统 DivideAlgorithm BasedOilInformation-flow ChartBuildForest QIANWei JU Shbguang WANGChang-da SONGXiang-mei (SchoolofComputerScienceandTelecommunicationsEngineering，JiangsuUniversity，Zhenjiang212013，China) Abstract Information-flowsofmainsandobjectsinaMulti-levelsecuritysystem couldbeusedtodescribeaninforma— tion-flow chart．Thisinformation-flow chartiStheimportantbasisofcovert-channelsearch．Buttheinformation-flow chartsinbigsystem areintricately．Therefore，weproposedanew segmentationalgorithm basedon information-flow charttobuildforest．Segmentationalgorithm needstoensurethatinfomr ation-flow forestcouldinheritcorrectinforma— tionfrom infomr ation-flow chart．First，arbitraryfullpathininfomr ation-flow chartisnotfragmented．Second，arbitrary fullpathininformation—flow couldnotmiss．Last，algorithm isabletohandlethecycleflow ofinfomr ation．Analyzing theinformationflow。wecanreplacetheentireinformation-flow chart．So itcouldeffectivelylowertheanalysisofthe complexityoftheproblem．Thenewmodelcouldbeusedinthefieldofcovert-channelsearchanalysis，andimprovethe efficiency． Keywords Information-flow，Covertchannel，Muhi-levelsecuritysystem 真实的隐通道，而不只是潜在的伪隐通道[1]。这种基于语法 1 问题的提出 的信息流分析方法 ，要求对每个变量或客体都赋予特定的安 隐通道利用系统中原本不是设计为传输信息的方式来传 全级，这将产生大量的伪非法流l1]，对于不能通过正确性证明 导信息，因此隐通道不能被安全模型所侦测，这对系统的安全 的信息流，还需要辅助手工语义分析来消除伪隐通