电子发烧友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网廉租房系统的建模与分析
- 工作流管理系统柔性机制
- MDD高效率整流管的工作原理：如何降低导通损耗？ 813次阅读
- 系统建模与抽象层次：从模块到物理实现 618次阅读
- 基于Simscape Fluids模型的环控系统建模与仿真 3.4k次阅读
- 基于Simscape Driveline模型的传动系统建模与仿真 4.5k次阅读
- 基于Simscape Battery模型的电池系统建模与仿真 4.6k次阅读
- 什么是系统建模语言SysML？ 9.2k次阅读
- STM32中断系统的工作流程 4k次阅读
- 热管理系统建模案例：各个回路的搭建 3.8k次阅读
- 热管理系统建模案例：模型工具、热管理系统 3.8k次阅读
- 使用OpticStudio进行闪光激光雷达系统建模（中） 2.6k次阅读
- 使用OpticStudio进行闪光激光雷达系统建模（上） 2.7k次阅读
- 推荐两个工作流的springboot项目 2.5k次阅读
- 基于RFID技术的烟草物流管理中仓储管理系统设计详解 2k次阅读
- 配电自动化系统建设的重要性和提升对策 8.6k次阅读
- 基于ZIGBEE和RFID结合的物流管理系统分析 1.1k次阅读
上传资料赚积分下载排行
本周
- 1MDD品牌三极管MMBT3906数据手册
- 2.33 MB | 次下载 | 免费
- 2MDD品牌三极管S9012数据手册
- 2.62 MB | 次下载 | 免费
- 3联想flex2-14D/15D说明书
- 4.92 MB | 次下载 | 免费
- 4收音环绕扩音机 AVR-1507手册
- 2.50 MB | 次下载 | 免费
- 524Pin Type-C连接器设计报告
- 1.06 MB | 次下载 | 免费
- 6新一代网络可视化（NPB 2.0）
- 3.40 MB | 次下载 | 免费
- 7MS1000TA 超声波测量模拟前端芯片技术手册
- 0.60 MB | 次下载 | 免费
- 8MS1022高精度时间测量(TDC)电路数据手册
- 1.81 MB | 次下载 | 免费
本月
- 1爱华AIWA HS-J202维修手册
- 3.34 MB | 37次下载 | 免费
- 2PC5502负载均流控制电路数据手册
- 1.63 MB | 23次下载 | 免费
- 3NB-IoT芯片厂商的资料说明
- 0.31 MB | 22次下载 | 1 积分
- 4H110主板CPU PWM芯片ISL95858HRZ-T核心供电电路图资料
- 0.63 MB | 6次下载 | 1 积分
- 5UWB653Pro USB口测距通信定位模块规格书
- 838.47 KB | 5次下载 | 免费
- 6技嘉H110主板IT8628E_BX IO电路图资料
- 2.61 MB | 4次下载 | 1 积分
- 7苏泊尔DCL6907(即CHK-S007)单芯片电磁炉原理图资料
- 0.04 MB | 4次下载 | 1 积分
- 8100W准谐振反激式恒流电源电路图资料
- 0.09 MB | 2次下载 | 1 积分
总榜
- 1matlab软件下载入口
- 未知 | 935137次下载 | 10 积分
- 2开源硬件-PMP21529.1-4 开关降压/升压双向直流/直流转换器 PCB layout 设计
- 1.48MB | 420064次下载 | 10 积分
- 3Altium DXP2002下载入口
- 未知 | 233089次下载 | 10 积分
- 4电路仿真软件multisim 10.0免费下载
- 340992 | 191439次下载 | 10 积分
- 5十天学会AVR单片机与C语言视频教程 下载
- 158M | 183353次下载 | 10 积分
- 6labview8.5下载
- 未知 | 81602次下载 | 10 积分
- 7Keil工具MDK-Arm免费下载
- 0.02 MB | 73822次下载 | 10 积分
- 8LabVIEW 8.6下载
- 未知 | 65991次下载 | 10 积分
工商网监
评论