电子发烧友App
创作
发文章
发帖 
提问 
发资料
发视频资料介绍
为增强工作流管理系统的安全性，本文使用高级 Petri 网对工作流过程进行建模。针
对不同的安全问题，分别引入时间Petri 网、有色Petri 网和有色时间Petri 网进行建模。保
证了授权流和工作流的同步，满足最小特权原则，给工作流管理系统提供了最大的安全保障。
关键词：Petri 网；工作流管理系统；静态权限；动态授权。
Abstract：In order to increase Workflow Management System security, we use HLPN (High-Level Petri Net) for system modeling. Aimed at different problem, we introduce Time Petri Net, Colored Petri Net and combination of them two, which assure synchronization of authorization flow and workflow, consequently provide a maximal guarantee for workflow management system.
Key Words: Petri net；Workflow Management System；Access Control；Dynamic authorization
对不同的安全问题，分别引入时间Petri 网、有色Petri 网和有色时间Petri 网进行建模。保
证了授权流和工作流的同步，满足最小特权原则，给工作流管理系统提供了最大的安全保障。
关键词：Petri 网；工作流管理系统；静态权限；动态授权。
Abstract：In order to increase Workflow Management System security, we use HLPN (High-Level Petri Net) for system modeling. Aimed at different problem, we introduce Time Petri Net, Colored Petri Net and combination of them two, which assure synchronization of authorization flow and workflow, consequently provide a maximal guarantee for workflow management system.
Key Words: Petri net；Workflow Management System；Access Control；Dynamic authorization
下载该资料的人也在下载
下载该资料的人还在阅读
更多 >
- 基于时间Petri网的并发系统建模分析方法 0次下载
- 基于扩展染色Petri网的工作流过程模型周小聪 0次下载
- 一种基于p2P的工作流管理系统设计
- 制造网格的工作流管理研究
- JAVA设计模式在工作流管理系统中的应用研究
- 基于Petri网的单向PWM整流电路建模
- 基于Petri网的地下工程智能化系统建模
- 基于PMI的工作流管理系统安全模型
- 基于Petri网的工作流时间动态预测及验证
- 扩展时间和层次的Petri网工作流模型
- 基于Web的工作流技术在管理系统模型中的应用
- 基于Petri 网的工作流逻辑化简规则的矩阵表示
- 基于Web的工作流管理系统
- 基于随机Petri网廉租房系统的建模与分析
- 工作流管理系统柔性机制
- 基于Simscape Fluids模型的环控系统建模与仿真 118次阅读
- 基于Simscape Driveline模型的传动系统建模与仿真 112次阅读
- 基于Simscape Battery模型的电池系统建模与仿真 140次阅读
- 什么是系统建模语言SysML？ 5960次阅读
- STM32中断系统的工作流程 2146次阅读
- 27个非常经典的设备工作流程图解 1510次阅读
- 热管理系统建模案例：各个回路的搭建 1679次阅读
- 热管理系统建模案例：模型工具、热管理系统 1555次阅读
- 使用OpticStudio进行闪光激光雷达系统建模（中） 1734次阅读
- 使用OpticStudio进行闪光激光雷达系统建模（上） 1781次阅读
- 电源管理系统热模型的建模和验证 3396次阅读
- 推荐两个工作流的springboot项目 1592次阅读
- 基于RFID技术的烟草物流管理中仓储管理系统设计详解 1554次阅读
- 配电自动化系统建设的重要性和提升对策 7998次阅读
- 基于ZIGBEE和RFID结合的物流管理系统分析 776次阅读
上传资料赚积分下载排行
本周
- 1电子电路原理第七版PDF电子教材免费下载
- 0.00 MB | 1490次下载 | 免费
- 2单片机典型实例介绍
- 18.19 MB | 93次下载 | 1 积分
- 3S7-200PLC编程实例详细资料
- 1.17 MB | 27次下载 | 1 积分
- 4笔记本电脑主板的元件识别和讲解说明
- 4.28 MB | 18次下载 | 4 积分
- 5开关电源原理及各功能电路详解
- 0.38 MB | 10次下载 | 免费
- 6基于AT89C2051/4051单片机编程器的实验
- 0.11 MB | 4次下载 | 免费
- 7基于单片机和 SG3525的程控开关电源设计
- 0.23 MB | 3次下载 | 免费
- 8基于单片机的红外风扇遥控
- 0.23 MB | 3次下载 | 免费
本月
- 1OrCAD10.5下载OrCAD10.5中文版软件
- 0.00 MB | 234313次下载 | 免费
- 2PADS 9.0 2009最新版 -下载
- 0.00 MB | 66304次下载 | 免费
- 3protel99下载protel99软件下载(中文版)
- 0.00 MB | 51209次下载 | 免费
- 4LabView 8.0 专业版下载 (3CD完整版)
- 0.00 MB | 51043次下载 | 免费
- 5555集成电路应用800例(新编版)
- 0.00 MB | 33562次下载 | 免费
- 6接口电路图大全
- 未知 | 30320次下载 | 免费
- 7Multisim 10下载Multisim 10 中文版
- 0.00 MB | 28588次下载 | 免费
- 8开关电源设计实例指南
- 未知 | 21539次下载 | 免费
总榜
- 1matlab软件下载入口
- 未知 | 935053次下载 | 免费
- 2protel99se软件下载(可英文版转中文版)
- 78.1 MB | 537791次下载 | 免费
- 3MATLAB 7.1 下载 (含软件介绍)
- 未知 | 420026次下载 | 免费
- 4OrCAD10.5下载OrCAD10.5中文版软件
- 0.00 MB | 234313次下载 | 免费
- 5Altium DXP2002下载入口
- 未知 | 233046次下载 | 免费
- 6电路仿真软件multisim 10.0免费下载
- 340992 | 191183次下载 | 免费
- 7十天学会AVR单片机与C语言视频教程 下载
- 158M | 183277次下载 | 免费
- 8proe5.0野火版下载(中文版免费下载)
- 未知 | 138039次下载 | 免费
工商网监
评论