论文研究-基于Petri网的混合安全策略建模与验证.pdf

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