论文研究有色Petri网的扩展使用控制策略模型设计.pdf

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