電子發(fā)燒友App
創(chuàng)作
發(fā)文章
發(fā)帖 
提問 
發(fā)資料
發(fā)視頻資料介紹
為增強工作流管理系統(tǒng)的安全性，本文使用高級 Petri 網(wǎng)對工作流過程進行建模。針
對不同的安全問題，分別引入時間Petri 網(wǎng)、有色Petri 網(wǎng)和有色時間Petri 網(wǎng)進行建模。保
證了授權(quán)流和工作流的同步，滿足最小特權(quán)原則，給工作流管理系統(tǒng)提供了最大的安全保障。
關(guān)鍵詞：Petri 網(wǎng)；工作流管理系統(tǒng)；靜態(tài)權(quán)限；動態(tài)授權(quán)。
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 網(wǎng)、有色Petri 網(wǎng)和有色時間Petri 網(wǎng)進行建模。保
證了授權(quán)流和工作流的同步，滿足最小特權(quán)原則，給工作流管理系統(tǒng)提供了最大的安全保障。
關(guān)鍵詞：Petri 網(wǎng)；工作流管理系統(tǒng)；靜態(tài)權(quán)限；動態(tài)授權(quán)。
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網(wǎng)的并發(fā)系統(tǒng)建模分析方法 0次下載
- 基于擴展染色Petri網(wǎng)的工作流過程模型周小聰 0次下載
- 一種基于p2P的工作流管理系統(tǒng)設(shè)計
- 制造網(wǎng)格的工作流管理研究
- JAVA設(shè)計模式在工作流管理系統(tǒng)中的應(yīng)用研究
- 基于Petri網(wǎng)的單向PWM整流電路建模
- 基于Petri網(wǎng)的地下工程智能化系統(tǒng)建模
- 基于PMI的工作流管理系統(tǒng)安全模型
- 基于Petri網(wǎng)的工作流時間動態(tài)預(yù)測及驗證
- 擴展時間和層次的Petri網(wǎng)工作流模型
- 基于Web的工作流技術(shù)在管理系統(tǒng)模型中的應(yīng)用
- 基于Petri 網(wǎng)的工作流邏輯化簡規(guī)則的矩陣表示
- 基于Web的工作流管理系統(tǒng)
- 基于隨機Petri網(wǎng)廉租房系統(tǒng)的建模與分析
- 工作流管理系統(tǒng)柔性機制
- MDD高效率整流管的工作原理：如何降低導(dǎo)通損耗？ 813次閱讀
- 系統(tǒng)建模與抽象層次：從模塊到物理實現(xiàn) 618次閱讀
- 基于Simscape Fluids模型的環(huán)控系統(tǒng)建模與仿真 3.4k次閱讀
- 基于Simscape Driveline模型的傳動系統(tǒng)建模與仿真 4.5k次閱讀
- 基于Simscape Battery模型的電池系統(tǒng)建模與仿真 4.6k次閱讀
- 什么是系統(tǒng)建模語言SysML？ 9.2k次閱讀
- STM32中斷系統(tǒng)的工作流程 4k次閱讀
- 熱管理系統(tǒng)建模案例：各個回路的搭建 3.8k次閱讀
- 熱管理系統(tǒng)建模案例：模型工具、熱管理系統(tǒng) 3.8k次閱讀
- 使用OpticStudio進行閃光激光雷達系統(tǒng)建模（中） 2.6k次閱讀
- 使用OpticStudio進行閃光激光雷達系統(tǒng)建模（上） 2.7k次閱讀
- 推薦兩個工作流的springboot項目 2.5k次閱讀
- 基于RFID技術(shù)的煙草物流管理中倉儲管理系統(tǒng)設(shè)計詳解 2k次閱讀
- 配電自動化系統(tǒng)建設(shè)的重要性和提升對策 8.6k次閱讀
- 基于ZIGBEE和RFID結(jié)合的物流管理系統(tǒng)分析 1.1k次閱讀
上傳資料賺積分下載排行
本周
- 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開關(guān)電源原理及各功能電路詳解
- 0.38 MB | 10次下載 | 免費
- 6基于AT89C2051/4051單片機編程器的實驗
- 0.11 MB | 4次下載 | 免費
- 7基于單片機和 SG3525的程控開關(guān)電源設(shè)計
- 0.23 MB | 3次下載 | 免費
- 8基于單片機的紅外風(fēng)扇遙控
- 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 專業(yè)版下載 (3CD完整版)
- 0.00 MB | 51043次下載 | 免費
- 5555集成電路應(yīng)用800例(新編版)
- 0.00 MB | 33562次下載 | 免費
- 6接口電路圖大全
- 未知 | 30320次下載 | 免費
- 7Multisim 10下載Multisim 10 中文版
- 0.00 MB | 28588次下載 | 免費
- 8開關(guān)電源設(shè)計實例指南
- 未知 | 21539次下載 | 免費
總榜
- 1matlab軟件下載入口
- 未知 | 935053次下載 | 免費
- 2protel99se軟件下載(可英文版轉(zhuǎn)中文版)
- 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十天學(xué)會AVR單片機與C語言視頻教程 下載
- 158M | 183277次下載 | 免費
- 8proe5.0野火版下載(中文版免費下載)
- 未知 | 138039次下載 | 免費
工商網(wǎng)監(jiān)
評論