| 基于模型检测的工作流访问控制策略验证* |
| |
| 引用本文： | 陈妍,唐成华,吴丹.基于模型检测的工作流访问控制策略验证*[J].计算机应用研究,2010,27(2):692-696. |
| |
| 作者姓名： | 陈妍 唐成华 吴丹 |
| |
| 作者单位： | 1. 北京理工大学,计算机网络攻防对抗技术实验室,北京,100081
2. 桂林电子科技大学,计算机与控制学院,广西,桂林,541004 |
| |
| 基金项目： | 国家“863”计划资助项目(2007AA01Z449)；中国博士后科学基金资助项目(20070420793) |
| |
| 摘 要： | 访问控制策略的有效性对工作流管理系统的安全稳定运行具有重要影响，针对这一问题，提出了一种基于模型检测的工作流管理系统访问控制策略验证方法。建立了工作流管理系统的访问控制策略模型与工作流执行主体任务权限状态模型，并在此基础上对访问控制策略的有效性进行验证。实验表明该算法具有有效性和合理性，为访问控制策略的验证提供了一条新的解决途径。
|
| 关 键 词： | 工作流 访问控制策略 策略验证 模型检测 |
Validation of access control policies of workflow management system based on model checking |
| |
| CHEN Yan,TANG Cheng-hu,WU Dan.Validation of access control policies of workflow management system based on model checking[J].Application Research of Computers,2010,27(2):692-696. |
| |
| Authors: | CHEN Yan TANG Cheng-hu WU Dan |
| |
| Affiliation: | 1.Laboratory for Computer Network Defence Technology/a>;Beijing Institute of Technology/a>;Beijing 100081/a>;China/a>;2.School of Computer & Control/a>;Guilin University of Electronic Technology/a>;Guilin Guangxi 541004/a>;China |
| |
| Abstract: | 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. |
| |
| Keywords: | workflow access control policies policy validation model checking |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
| 点击此处可从《计算机应用研究》浏览原始摘要信息 |
|
点击此处可从《计算机应用研究》下载全文 |
