基于Petri网的信息流安全属性的分析与验证

• 作者: 周从华 王基 陈松 鞠时光
• 来源期刊: 计算机应用研究
• 关键词: Petri网 无干扰属性 广义无干扰属性 广义非推断属性 可分离属性
• 年，卷（期）: 2010,（12）
• 页码范围: 4638-4642
• 分类号: TP309
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2010.12.070

摘要

信息流安全属性的定义均基于不同的语义模型,很难作出比较,以Petri网作为描述安全系统的统一模型,在Petri网上定义四种常见的安全属性,并分析它们之间的逻辑关系.在信息流安全属性验证方面,传统的方法称为展开方法,该方法适用于确定型系统,而对于非确定型系统,该方法是可靠的,但不完备.进一步对Petri网上已经定义的四种属性给出可靠完备的验证算法,并开发出相应的验证工具.最后通过实例说明了验证方法在搜索隐通道方面的应用.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	鞠时光	江苏大学计算机科学与通信工程学院	159	1685	21.0	34.0
2	周从华	江苏大学计算机科学与通信工程学院	46	193	7.0	11.0
3	王基		2	4	1.0	2.0
4	陈松	江苏大学计算机科学与通信工程学院	21	121	7.0	10.0