基于Petri网的混合安全策略建模与验证

• 作者: 张昭理 洪帆 肖海军
• 来源期刊: 计算机应用研究
• 关键词: 中国墙策略 有色Petri网 模型 安全 验证
• 年，卷（期）: 2008,（2）
• 所属期刊栏目: 信息安全技术
• 页码范围: 509-511,515
• 页数: 4页
• 分类号: TP309
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2008.02.059

摘要

提出了一种基于有色Petri网的建模方法,在系统的Petri网模型中可以对中国墙策略进行分析和验证.给出了基于有色Petri网的混合安全策略的形式化定义;并通过一个系统实例阐述了如何利用该方法对系统的混合安全性进行分析和验证.无论是在系统的设计阶段还是实现阶段,该方法都能够有效地提升系统的混合安全性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	洪帆	华中科技大学计算机学院	161	2780	28.0	45.0
2	张昭理	华中科技大学计算机学院	9	134	5.0	9.0
3	肖海军	华中科技大学计算机学院	7	110	5.0	7.0