您的位置： 专家智库 > >

吴丹

作品数：2 被引量：6H指数：2
供职机构：北京理工大学机电学院更多>>
发文基金：国家高技术研究发展计划中国博士后科学基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 2篇中文期刊文章

领域

  • 2篇自动化与计算...

主题

  • 1篇工作流
  • 1篇工作流访问控...
  • 1篇反例
  • 1篇访问控制
  • 1篇NUSMV

机构

  • 2篇北京理工大学
  • 1篇桂林电子科技...

作者

  • 2篇吴丹
  • 1篇陈妍
  • 1篇危胜军
  • 1篇唐成华

传媒

  • 1篇电子科技大学...
  • 1篇计算机应用研...

年份

  • 1篇2013
  • 1篇2010
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
基于模型检测的工作流访问控制策略验证被引量：4
2010年
访问控制策略的有效性对工作流管理系统的安全稳定运行具有重要影响,针对这一问题,提出了一种基于模型检测的工作流管理系统访问控制策略验证方法。建立了工作流管理系统的访问控制策略模型与工作流执行主体任务权限状态模型,并在此基础上对访问控制策略的有效性进行验证。实验表明该算法具有有效性和合理性,为访问控制策略的验证提供了一条新的解决途径。
陈妍唐成华吴丹
关键词：工作流
基于模型检测的策略冲突检测方法被引量：2
2013年
提出一种基于模型校验的策略冲突检测新方法。首先通过形式化描述语言进行系统建模,采用时态逻辑表征策略冲突的系统属性,然后利用NuSMV模型检测器验证属性的可满足性,并根据模型检测器产生的反例轨迹追溯策略冲突点。该方法可提高策略冲突检测的效率。
吴丹危胜军
关键词：反例NUSMV
全选 清除 导出
共1页<1>
聚类工具0