刘卫平

作品数:3被引量:2H指数:1
导出分析报告
供职机构:中南民族大学计算机科学学院更多>>
发文主题:WEB技术安全工作流形式化建模工作流管理系统工作流更多>>
发文领域:自动化与计算机技术更多>>
发文期刊:《中南民族大学学报(自然科学版)》《计算机工程与应用》更多>>
所获基金:中南民族大学自然科学基金国家自然科学基金更多>>
-

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
条 记 录,以下是1-3
视图:
排序:
基于角色访问控制的授权约束描述
《中南民族大学学报(自然科学版)》2008年第4期92-95,共4页邢光林 刘卫平 
中南民族大学自然科学基金资助项目(YZZ07008)
提出了一个描述基于角色访问控制的授权约束的直观的形式化语言,证明了该授权约束描述语言在语义上与严格形式的一阶谓词逻辑RFOPL是等价的,并通过用该授权约束描述语言表示各种各样的授权约束来说明它的表现能力.
关键词:角色 访问控制 约束描述 
工作流中资源的形式化建模被引量:1
《计算机工程与应用》2008年第14期219-221,241,共4页邢光林 刘卫平 
中南民族大学自然科学基金(the South-Central University for Nationalities Natural Science Foundation of China under Grant No.YZZ07008)
虽然人们为了使工作流管理完全计算机化付出了巨大的努力,但结果表明,这一目标即使在技术高度发达的今天,乃至可预见的未来也是不可能实现的,组成工作流的很多任务还只能由人来完成。首先对工作流中资源(主动资源)的分类方式进行讨论并...
关键词:工作流 资源 形式化建模 
基于Web的安全工作流管理系统的设计被引量:1
《中南民族大学学报(自然科学版)》2008年第1期85-88,共4页邢光林 刘卫平 
中南民族大学自然科学基金资助项目(YZZ07008)
指出了已有的基于Web的工作流管理系统的缺陷,要么很少考虑系统的安全性,一般只提供了简单的身份验证,很难满足高安全工作流应用的需求;要么加上一个安全模块,这种方式可行,但通用性差.构建了一个基于Web的安全工作流管理系统,该系统采...
关键词:安全工作流 工作流管理系统 WEB技术 
检索报告 对象比较 聚类工具 使用帮助 返回顶部