刘卫平
- 作品数：3 被引量：4H指数：2
- 供职机构：中南民族大学计算机科学学院更多>>
- 发文基金：中南民族大学自然科学基金国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于Web的安全工作流管理系统的设计被引量：2
- 2008年
- 指出了已有的基于Web的工作流管理系统的缺陷,要么很少考虑系统的安全性,一般只提供了简单的身份验证,很难满足高安全工作流应用的需求;要么加上一个安全模块,这种方式可行,但通用性差.构建了一个基于Web的安全工作流管理系统,该系统采用从头设计而不是在已有的工作流系统上加一个安全模块的方法,具有很好的安全性和通用性.
- 邢光林刘卫平
- 关键词：安全工作流工作流管理系统WEB技术
- 工作流中资源的形式化建模被引量：2
- 2008年
- 虽然人们为了使工作流管理完全计算机化付出了巨大的努力,但结果表明,这一目标即使在技术高度发达的今天,乃至可预见的未来也是不可能实现的,组成工作流的很多任务还只能由人来完成。首先对工作流中资源(主动资源)的分类方式进行讨论并把它们统一成一个资源元模型,然后给出了一个基于用户资格和特征的资源建模形式化描述。
- 邢光林刘卫平
- 关键词：工作流形式化建模
- 基于角色访问控制的授权约束描述
- 2008年
- 提出了一个描述基于角色访问控制的授权约束的直观的形式化语言,证明了该授权约束描述语言在语义上与严格形式的一阶谓词逻辑RFOPL是等价的,并通过用该授权约束描述语言表示各种各样的授权约束来说明它的表现能力.
- 邢光林刘卫平
- 关键词：角色访问控制
