基于模型检测的工作流访问控制策略验证  

Validation of access control policies of workflow management system based on model checking

作　　者：陈妍[1] 唐成华[2] 吴丹[1] 

机构地区：[1]北京理工大学计算机网络攻防对抗技术实验室,北京100081 [2]桂林电子科技大学计算机与控制学院,广西桂林541004

出　　处：《计算机应用研究》2010年第2期692-696,共5页Application Research of Computers

基　　金：国家"863"计划资助项目(2007AA01Z449);中国博士后科学基金资助项目(20070420793)

摘　　要：访问控制策略的有效性对工作流管理系统的安全稳定运行具有重要影响,针对这一问题,提出了一种基于模型检测的工作流管理系统访问控制策略验证方法。建立了工作流管理系统的访问控制策略模型与工作流执行主体任务权限状态模型,并在此基础上对访问控制策略的有效性进行验证。实验表明该算法具有有效性和合理性,为访问控制策略的验证提供了一条新的解决途径。The validity of access control policies seriously affects the safe and stable operation of the workflow management system. To deal with this problem, this paper presented a validation method of access control policies of the workflow management system based on the model checking. On the basis of the establishment of the access control policy model and the task permission state of the subjects of the workflow management system the effectiveness of policies were validated. The experiments show that the algorithm is effective and rational, and provides a new solution to validate the access control polices.

关 键 词：工作流 访问控制策略 策略验证 模型检测 

分 类 号：TP393.08[自动化与计算机技术—计算机应用技术]