有色Petri网的扩展使用控制策略模型设计

Extended usage control strategy model based on colored Petri net design

为解决目前UCON模型和策略规范存在系统应用功能与安全策略集成性差、缺少事后义务和无并发性控制问题,通过定义行为、安全和并发规则,提出了一种扩展的使用控制策略,采用有色Petri网技术,达到形式化定义、分析的目的,为将来的研究工作提供基础。

In order to resolve these drawbacks such as poor integration between functional behavior and security policy,lack of post-obligation and concurrency control,an extended usage control policy by definite behavior,safety and concurrency rules is proposed which aims at realizing formal definition,analyses and providing a basis for future research work by colored Petri nets.