犘豺狋狉犻-计算机学报.pdfVIP

下载本文档

1
0
约11.07万字
约 12页
2018-01-05 发布于天津
举报
版权申诉

犘豺狋狉犻-计算机学报.pdf

1、原创力文档（book118）网站文档一经付费（服务费），不意味着购买了该文档的版权，仅供个人/单位学习、研究之用，不得用于商业用途，未经授权，严禁复制、发行、汇编、翻译或者网络传播等，侵权必究。。
2、本站所有内容均由合作方或网友上传，本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺！文档内容仅供研究参考，付费前请自行鉴别。如您付费，意味着您自己接受本站规则且自行承担风险，本站不退款、不进行额外附加服务；查看《如何避免下载的几个坑》。如果您已付费下载过本站文档，您可以点击这里二次下载。
3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等，请点击“版权申诉”（推荐），也可以打举报电话：400-050-0827(电话支持时间：9:00-18:30)。
4、该文档为VIP文档，如果想要下载，成为VIP会员后，下载免费。
5、成为VIP后，下载本文档将扣除1次下载权益。下载后，不支持退款、换文档。如有疑问请联系我们。
6、成为VIP后，您将拥有八大权益，权益包括：VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
7、VIP文档为合作方或网友上传，每下载1次，网站将根据用户上传文档的质量评分、类型等，对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档

犘豺狋狉犻-计算机学报

第卷第期计算机学报３５８　　　　　　　　　Ｖｏｌ．３５Ｎｏ．８年月２０１２８Ａｕ．２０１２ＣＨＩＮＥＳＥＪＯＵＲＮＡＬＯＦＣＯＭＰＵＴＥＲＳｇ　一种基于网的隐蔽信息流分析方法犘犲狋狉犻周从华鞠时光　　（江苏大学计算机科学与通信工程学院江苏镇江）２１２０１３　　摘要隐蔽信息流分析是开发高等级可信计算机系统必须面对的问题以网作为开发安全系统的形式化．Ｐｅｔｒｉ　　，，建模工具给出网中隐蔽信息流存在的判定条件提出该条件成立的两种网结构进而可以在语法层次上预Ｐｅｔｒｉ．先判断隐蔽信息流的存在性并使由此类结构引起的隐蔽信息流在系统的设计阶段得以避免开发了一种基于，．，，网可达图的隐蔽信息流存在性判定算法算法遵循无干扰方法的思想但是避免了无干扰方法中等价状态的Ｐｅｔｒｉ区分和展开定理的使用另外，算法采用深度优先搜索的策略，避免了网全局可达图的构造对复杂的安全系．Ｐｅｔｒｉ．，，统分析了子系统的各种组合运算对隐蔽信息流存在性的影响降低了大规模系统分析的复杂度．关键词隐蔽信息流；无干扰；网；组合；展开定理Ｐｅｔｒｉ　中图法分类号号：／ＴＰ３１６犇犗犐１０．３７２４ＳＰ．Ｊ．１０１６．２０１２．０１６８８　　　犃犘犲狋狉犻犖犲狋犅犪狊犲犱犃狉狅犪犮犺狋狅犆狅狏犲狉狋犐狀犳狅狉犿犪狋犻狅狀犉犾狅狑犃狀犪犾狊犻狊狆狆狔ＺＨＯＵＣｏｎＨｕａＪＵＳｈｉＧｕａｎｇ　ｇ（，，，）犛犮犺狅狅犾狅犆狅犿狌狋犲狉犛犮犻犲狀犮犲犪狀犱犜犲犾犲犮狅犿犿狌狀犻犮犪狋犻狅狀犈狀犻狀犲犲狉犻狀犑犻犪狀狊狌犝狀犻狏犲狉狊犻狋犣犺犲狀犻犪狀犑犻犪狀狊狌２１２０１３犳狆犵犵犵