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

【文件属性】：
文件名称：论文研究-有色Petri网的扩展使用控制策略模型设计.pdf
文件大小：587KB
文件格式：PDF
更新时间：2022-09-27 16:24:27
论文研究 为解决目前UCON模型和策略规范存在系统应用功能与安全策略集成性差、缺少事后义务和无并发性控制问题，通过定义行为、安全和并发规则，提出了一种扩展的使用控制策略，采用有色Petri网技术，达到形式化定义、分析的目的，为将来的研究工作提供基础。