论文研究有色Petri网的扩展使用控制策略模型设计.pdf 上传者：zzhhrz 2020-07-16 09:49:15上传 PDF文件 586.61KB 热度 38次 为解决目前UCON模型和策略规范存在系统应用功能与安全策略集成性差、缺少事后义务和无并发性控制问题，通过定义行为、安全和并发规则，提出了一种扩展的使用控制策略，采用有色Petri网技术，达到形式化定义、分析的目的，为将来的研究工作提供基础。 下载地址 用户评论 更多下载 下载地址 立即下载 用户评论 发表评论
