電子發燒友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次下載 | 免費
工商網監
評論