基于Petri网的保密性策略建模与验证

• 作者: 廖俊国 张昭理 洪帆
• 来源期刊: 华中科技大学学报（自然科学版）
• 学科: 工学
• 关键词: 保密性策略 Petri网 模型 验证
• 年，卷（期）: 2007,（10）
• 页码范围: 28-31
• 页数: 4页
• 分类号: TP309
• 字数: 3726字
• 语种: 中文
• DOI: 10.3321/j.issn:1671-4512.2007.10.009

摘要

为了对实施了具体保密性策略的系统、进程或工作流的保密性进行严格有效的分析与验证,提出了一种基于Petri网的保密性策略建模与验证方法.首先给出保密性策略基于Petri网的形式化描述,为系统建立Petri网模型;然后在此模型下利用保密性策略基于Petri网的形式化描述以及覆盖图对系统的保密性进行分析与验证,以判断系统是否符合保密性策略的要求.由于给定的系统Petri网模型覆盖图可以自动生成,因此可以利用其对系统的保密性进行自动分析与验证.通过一个进程实例阐述了该方法的原理和实施过程.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	洪帆	华中科技大学计算机科学与技术学院	161	2780	28.0	45.0
2	张昭理	华中科技大学计算机科学与技术学院	9	134	5.0	9.0
3	廖俊国	华中科技大学计算机科学与技术学院	11	262	8.0	11.0