1. 首页
  2. 移动开发
  3. 其他
  4. 论文研究有色Petri网的扩展使用控制策略模型设计.pdf

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

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