一种基于Petri网的隐蔽信息流分析方法

作     者：周从华 鞠时光 ZHOU Cong-Hua;JU Shi-Guang

作者机构：江苏大学计算机科学与通信工程学院江苏镇江212013 

基　　金：国家自然科学基金青年基金(61003288) 中德合作交流基金(6111130184) 江苏省自然科学基金(BK2010192) 教育部博士点基金(20093227110005)资助 

出 版 物：《计算机学报》 (Chinese Journal of Computers)

年 卷 期：2012年第35卷第8期

页      码：1688-1699页

摘      要：隐蔽信息流分析是开发高等级可信计算机系统必须面对的问题.以Petri网作为开发安全系统的形式化建模工具,给出Petri网中隐蔽信息流存在的判定条件.提出该条件成立的两种网结构,进而可以在语法层次上预先判断隐蔽信息流的存在性,并使由此类结构引起的隐蔽信息流在系统的设计阶段得以避免.开发了一种基于Petri网可达图的隐蔽信息流存在性判定算法,算法遵循无干扰方法的思想,但是避免了无干扰方法中等价状态的区分和展开定理的使用.另外,算法采用深度优先搜索的策略,避免了Petri网全局可达图的构造.对复杂的安全系统,分析了子系统的各种组合运算对隐蔽信息流存在性的影响,降低了大规模系统分析的复杂度.

主 题 词：隐蔽信息流 无干扰 Petri网 组合 展开定理 

学科分类：08[工学] 0835[0835] 081202[081202] 0812[工学-测绘类] 

核心收录：

D　O　I：10.3724/sp.j.1016.2012.01688

馆 藏 号：203648934...