電子發(fā)燒友App
創(chuàng)作
發(fā)文章
發(fā)帖 
提問 
發(fā)資料
發(fā)視頻資料介紹
為增強工作流管理系統(tǒng)的安全性，本文使用高級 Petri 網(wǎng)對工作流過程進行建模。針
對不同的安全問題，分別引入時間Petri 網(wǎng)、有色Petri 網(wǎng)和有色時間Petri 網(wǎng)進行建模。保
證了授權流和工作流的同步，滿足最小特權原則，給工作流管理系統(tǒng)提供了最大的安全保障。
關鍵詞：Petri 網(wǎng)；工作流管理系統(tǒng)；靜態(tài)權限；動態(tài)授權。
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)進行建模。保
證了授權流和工作流的同步，滿足最小特權原則，給工作流管理系統(tǒng)提供了最大的安全保障。
關鍵詞：Petri 網(wǎng)；工作流管理系統(tǒng)；靜態(tài)權限；動態(tài)授權。
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)設計
- 制造網(wǎng)格的工作流管理研究
- JAVA設計模式在工作流管理系統(tǒng)中的應用研究
- 基于Petri網(wǎng)的單向PWM整流電路建模
- 基于Petri網(wǎng)的地下工程智能化系統(tǒng)建模
- 基于PMI的工作流管理系統(tǒng)安全模型
- 基于Petri網(wǎng)的工作流時間動態(tài)預測及驗證
- 擴展時間和層次的Petri網(wǎng)工作流模型
- 基于Web的工作流技術在管理系統(tǒng)模型中的應用
- 基于Petri 網(wǎng)的工作流邏輯化簡規(guī)則的矩陣表示
- 基于Web的工作流管理系統(tǒng)
- 基于隨機Petri網(wǎng)廉租房系統(tǒng)的建模與分析
- 工作流管理系統(tǒng)柔性機制
- 基于Simscape Fluids模型的環(huán)控系統(tǒng)建模與仿真 541次閱讀
- 基于Simscape Driveline模型的傳動系統(tǒng)建模與仿真 695次閱讀
- 基于Simscape Battery模型的電池系統(tǒng)建模與仿真 1093次閱讀
- 什么是系統(tǒng)建模語言SysML？ 7026次閱讀
- STM32中斷系統(tǒng)的工作流程 2670次閱讀
- 27個非常經(jīng)典的設備工作流程圖解 1825次閱讀
- 熱管理系統(tǒng)建模案例：各個回路的搭建 2116次閱讀
- 熱管理系統(tǒng)建模案例：模型工具、熱管理系統(tǒng) 1993次閱讀
- 使用OpticStudio進行閃光激光雷達系統(tǒng)建模（中） 1901次閱讀
- 使用OpticStudio進行閃光激光雷達系統(tǒng)建模（上） 1939次閱讀
- 電源管理系統(tǒng)熱模型的建模和驗證 3832次閱讀
- 推薦兩個工作流的springboot項目 1729次閱讀
- 基于RFID技術的煙草物流管理中倉儲管理系統(tǒng)設計詳解 1678次閱讀
- 配電自動化系統(tǒng)建設的重要性和提升對策 8161次閱讀
- 基于ZIGBEE和RFID結合的物流管理系統(tǒng)分析 849次閱讀
上傳資料賺積分下載排行
本周
- 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 專業(yè)版下載 (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次下載 | 免費
工商網(wǎng)監(jiān)
評論