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

【文件属性】：

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

文件大小：587KB

文件格式：PDF

更新时间：2022-09-27 16:24:27

论文研究

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