任务状态敏感的访问控制模型及其有色网仿真  

An Access Control Model with Task-State Sensitivity and Its CPN Simulation

作　　者：翟治年[1,2] 奚建清[2] 卢亚辉[3] 郭玉彬[4] 

机构地区：[1]浙江科技学院信息学院,杭州310023 [2]华南理工大学计算机科学与工程学院,广州510006 [3]深圳大学计算机与软件学院,广东深圳518062 [4]华南农业大学信息学院,广州510640

出　　处：《西安交通大学学报》2012年第12期85-91,共7页Journal of Xi'an Jiaotong University

基　　金：国家自然科学基金资助项目(60903114;60973100;61103038);粤港关键领域重点突破资助项目(2006B80407001);广东省教育部产学研结合计划资助项目(2008B090500193);深圳市科技计划基础研究资助项目(JC201005280402A;JC200903120046A)

摘　　要：针对现有主动访问控制模型中授权流与工作流同步粒度不够精细的问题,提出一种任务状态敏感的访问控制模型.根据任务实例的不同状态对多个执行角色进行差异化授权,施加相应的职责分离约束,并给出一种有色网仿真分析方法.概念模型可以优化工作流中的数据利用,充分增强业务中的角色协作.仿真分析方法可跟踪工作流执行时的安全状态,并发现潜在的死锁问题.通过一个软件工作流验证了其协作与访问控制概念的可行性及其分析方法的有效性.An access control model with task-state sensitivity is proposed to address the issue that the synchronizing granularity of authorization-flow and workflow is not fine enough in existing active access control models.Differentiated permissions are authorized to multiple roles under different states of a task instance,and a duty separation constraint is enforced.A colored Petri net simulation technique is provided and used as an analysis method.A concept model is used to optimize the data utilization in workflows;and the roles collaboration in business is fully enhanced.The simulation technique is utilized to track run-time safety states of a workflow,and to find out potential deadlocks.Feasibility of the collaboration and access control concept and the effectiveness of the analysis method are verified via a software workflow.

关 键 词：访问控制 工作流 任务状态 角色 有色PETRI网 

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