欢迎您！东篱公司
退出
-
申报数据库
-
立项数据库
-
成果数据库
-
项目获奖数据库
中文摘要：
提出了一种基于有色Petri网的建模方法，在系统的Petri网模型中可以对中国墙策略进行分析和验证。给出了基于有色Petri网的混合安全策略的形式化定义；并通过一个系统实例阐述了如何利用该方法对系统的混合安全性进行分析和验证。无论是在系统的设计阶段还是实现阶段，该方法都能够有效地提升系统的混合安全性。
英文摘要：
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.
同期刊论文项目
同项目期刊论文
期刊信息
位置：