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

Extended usage control strategy model based on colored Petri net design

作　　者：李沛武[1] 雷金娥[2] 

机构地区：[1]南昌工程学院科研处,南昌330029 [2]南昌工程学院信息工程学院,南昌330029

出　　处：《计算机工程与应用》2012年第33期96-100,共5页Computer Engineering and Applications

基　　金：江西省自然科学基金(No.2009GZS0082;No.2011ZBAB201005);江西省工业支撑计划(No.2011ZBBE50030)

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

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

分 类 号：TP301.2[自动化与计算机技术—计算机系统结构]