计算机工程与应用 ›› 2012, Vol. 48 ›› Issue (33): 96-100.

• 网络、通信、安全 • 上一篇    下一篇

有色Petri网的扩展使用控制策略模型设计

李沛武1,雷金娥2   

  1. 1.南昌工程学院 科研处,南昌 330029
    2.南昌工程学院 信息工程学院,南昌 330029
  • 出版日期:2012-11-21 发布日期:2012-11-20

Extended usage control strategy model based on colored Petri net design

LI Peiwu1, LEI Jin’e2   

  1. 1.Department of Scientific Research, Nanchang Institute of Technology, Nanchang 330029, China
    2.School of Information Engineering, Nanchang Institute of Technology, Nanchang 330029, China
  • Online:2012-11-21 Published:2012-11-20

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

关键词: 使用控制, 形式化分析, 有色Petri网, 扩展使用控制策略模型

Abstract: In order to resolve these drawbacks such as poor integration between functional behavior and security policy, lack of post-obligation and concurrency control, an extended usage control policy by definite behavior, safety and concurrency rules is proposed which aims at realizing formal definition, analyses and providing a basis for future research work by colored Petri nets.

Key words: usage control, formal analyze, colored Petri nets, Extended Usage Control Strategy Model(EUCSM)