|
|||||
|
|
| 基于模型检测的工作流访问控制策略验证* | |
| 作者姓名： | 陈妍 唐成华 吴丹 |
| 作者单位： | 1. 北京理工大学,计算机网络攻防对抗技术实验室,北京,100081 2. 桂林电子科技大学,计算机与控制学院,广西,桂林,541004 |
| 基金项目： | 国家“863”计划资助项目(2007AA01Z449);中国博士后科学基金资助项目(20070420793) |
| 摘 要： | 访问控制策略的有效性对工作流管理系统的安全稳定运行具有重要影响,针对这一问题,提出了一种基于模型检测的工作流管理系统访问控制策略验证方法。建立了工作流管理系统的访问控制策略模型与工作流执行主体任务权限状态模型,并在此基础上对访问控制策略的有效性进行验证。实验表明该算法具有有效性和合理性,为访问控制策略的验证提供了一条新的解决途径。 |
| 关 键 词： | 工作流 访问控制策略 策略验证 模型检测 |
| 本文献已被 CNKI 万方数据 等数据库收录！ | |
| 点击此处可从《计算机应用研究》浏览原始摘要信息 | |
| 点击此处可从《计算机应用研究》下载全文 | |