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

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

Petri net based modeling and verification of hybrid policy

The Chinese wall policy was modeled by colored Petri nets. Subsequently given, the Petri net-based formal definitions of the Chinese wall model, which allowed one to analyze and verify Chinese wall policy in colored Petri net model of a system. The analysis and verification by the approach were addressed through a sample system. This technique could efficiently improve the hybrid policies during the system design and implementation.