期刊文章详细信息
基于Petri网的安全工作流管理系统建模
Modeling Secure Workflow Management System based on Petri Nets
文献类型：期刊文章
机构地区：[1]空军工程大学工程学院装备管理工程系,陕西西安710038
基 金：国家武器装备预研基金资助项目(编号不公开)
年 份：2008
卷 号：24
期 号：3
起止页码：148-149
语 种：中文
收录情况：BDHX、BDHX2004、核心刊
摘 要：为增强工作流管理系统的安全性,本文使用高级Petri网对工作流过程进行建模。针对不同的安全问题,分别引入时间Petri网、有色Petri网和有色时间Petri网进行建模。保证了授权流和工作流的同步,满足最小特权原则,给工作流管理系统提供了最大的安全保障。
关 键 词：PETRI网 工作流管理系统 静态权限 动态授权
分 类 号：TP311.52]
参考文献：
正在载入数据...
二级参考文献：
正在载入数据...
耦合文献：
正在载入数据...
引证文献：
正在载入数据...
二级引证文献：
正在载入数据...
同被引文献：
正在载入数据...
