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

• 作者: 吴丹 唐成华 陈妍
• 来源期刊: 计算机应用研究
• 关键词: 工作流 访问控制策略 策略验证 模型检测
• 年，卷（期）: 2010,（2）
• 所属期刊栏目: 信息安全技术
• 页码范围: 692-696
• 页数: 5页
• 分类号: TP393.08
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2010.02.080

摘要

访问控制策略的有效性对工作流管理系统的安全稳定运行具有重要影响,针对这一问题,提出了一种基于模型检测的工作流管理系统访问控制策略验证方法.建立了工作流管理系统的访问控制策略模型与工作流执行主体任务权限状态模型,并在此基础上对访问控制策略的有效性进行验证.实验表明该算法具有有效性和合理性,为访问控制策略的验证提供了一条新的解决途径.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	吴丹	北京理工大学计算机网络攻防对抗技术实验室	3	8	2.0	2.0
2	唐成华	桂林电子科技大学计算机与控制学院	34	189	6.0	13.0
3	陈妍	北京理工大学计算机网络攻防对抗技术实验室	11	23	2.0	4.0