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

翟治年 1; 2; 奚建清 2; 卢亚辉 3; 郭玉彬 4

您当前的位置：

首页 >

文章列表页 >

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

更新时间：2025-07-09

- 任务状态敏感的访问控制模型及其有色网仿真
- An Access Control Model with Task-State Sensitivity and Its CPN Simulation
- 西安交通大学学报 2012年46卷第12期页码：85-91
- 作者机构：
  
  1. 浙江科技学院信息学院,杭州,310023
  2. 华南理工大学计算机科学与工程学院,广州,510006
- 作者简介：
- 基金信息：
  
  : 2011-04-16. 作者简介: 翟治年(1977-),男,博士生;奚建清(通信作者),男,教授,博士生导师. 基金项目: 国家自然科学基金资助项目(60903114,60973100,61103038);粤港关键领域重点突破资助项目(2006B80407001);广东省教育部产学研结合计划资助项目(2008B090500193);深圳市科技计划基础研究资助项目(JC201005280402A, JC200903120046A)
- DOI：
  中图分类号： TP309
- 网络首发：2012-12-10，
  
  纸质出版：2012
- 稿件说明：
移动端阅览
翟治年 1, 2, 奚建清 2, 等. 任务状态敏感的访问控制模型及其有色网仿真[J]. 西安交通大学学报, 2012,46(12):85-91.

An Access Control Model with Task-State Sensitivity and Its CPN Simulation[J]. 2012, 46(12): 85-91.
翟治年 1, 2, 奚建清 2, 等. 任务状态敏感的访问控制模型及其有色网仿真[J]. 西安交通大学学报, 2012,46(12):85-91. DOI：

An Access Control Model with Task-State Sensitivity and Its CPN Simulation[J]. 2012, 46(12): 85-91. DOI：

摘要

针对现有主动访问控制模型中授权流与工作流同步粒度不够精细的问题

提出一种任务状态敏感的访问控制模型.根据任务实例的不同状态对多个执行角色进行差异化授权

施加相应的职责分离约束

并给出一种有色网仿真分析方法.概念模型可以优化工作流中的数据利用

充分增强业务中的角色协作.仿真分析方法可跟踪工作流执行时的安全状态

并发现潜在的死锁问题.通过一个软件工作流验证了其协作与访问控制概念的可行性及其分析方法的有效性.

Abstract

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.

关键词

Keywords

references

ATLURI V, HUANG Weikuang. An authorization model for workflows [C]∥Proceedings of the 5th European Symposium on Research in Computer Security. Berlin, Germany: Springer-Verlag, 1996:44-64.

ATLURI V, HUANG Weikuang. Petri net based safety analysis of workflow authorization models [J]. Journal of Computer Security, 2000, 8(2/3):209-240.

翟治年,奚建清,卢亚辉,等. 主动授权管理中的关联继承机制[J]. 西安交通大学学报, 2012, 46(4):24-31.

ZHAI Zhinian, XI Jianqing, LU Yahui, et al. Association inheritance mechanism in active authorization management [J]. Journal of Xi'an Jiaotong University,2012, 46(4): 24-31.

WFMC-TC00-1003 Workflow reference model [S]. Cohasset, MA, USA:Workflow Management Coalition, 1995.

DONG Xin, CHEN Gang, YIN Jianwei, et al. Petri-net-based context-related access control in workflow environment [C]∥Proceedings of the International Conference on Computer Supported Cooperative Work. Piscataway, NJ, USA: IEEE CS, 2002:381-384.

ZHANG Yi, ZHANG Yong, WANG Weinong. Modeling and analyzing of workflow authorization management [J]. Journal of Network System Management, 2004, 12(4): 507-535.

KNORR K. Dynamic access control through Petri net workflows [C]∥Proceedings of the 16th Annual Computer Security Applications Conference. Piscataway, NJ, USA: IEEE CS, 2000:159-167.

LU Yahui, ZHANG Li, SUN Jiaguang. Using colored Petri nets to model and analyze workflow with separation of duty constraints [J]. International Journal of Advanced Manufacturing Technology, 2009, 40(1):179-192.

卢亚辉. 工作流系统的访问控制模型及其安全性分析的研究[D]. 北京: 清华大学, 2008.

浏览量

下载量

CSCD

文章被引用时，请邮件提醒。

提交

工具集

关联资源

主动授权管理中的关联继承机制

基于特征集成数控工序的工艺设计平台研究

基于更改域的工作流过程演变算法

NSIS下通用访问控制信令协议的设计与验证

面向属性约束的自动信任协商模型