国产成人无码免费看片色哟哟,免费无码一区二区三区视频,无码人妻永久免费视频

內(nèi)容簡介

　　工作流管理的最終目的是“確保恰當?shù)娜嗽谇‘數(shù)臅r間執(zhí)行恰當?shù)幕顒印保ＷC恰當?shù)娜藞?zhí)行工作流就是工作流的任務指派。目前，工作流領域?qū)ぷ髁鞯倪^程邏輯、時序邏輯的研究較多，而對工作流的任務指派問題研究較少，系統(tǒng)性的研究更少。為滿足工作流系統(tǒng)日益提高的安全需求，提出了基于授權(quán)約束的工作流任務指派。本書分七章，從工作流授權(quán)模型的表示、合理性驗證、執(zhí)行時指派、指派異常處理四個方面對基于授權(quán)約束的工作流任務指派進行了較為全面、系統(tǒng)的研究，并綜合上述研究成果，給出了基于約束的工作流授權(quán)實現(xiàn)模型，研究了工作流授權(quán)模型的表示與化簡問題。研究內(nèi)容涉及工作流模型分解、步語義Petri網(wǎng)。研究了工作流授權(quán)模型的合理性（WAR）驗證問題。研究內(nèi)容涉及WAR驗證問題的與/或樹表示、基于與，或樹搜索的工作流授權(quán)合理性驗證算法WARV、工作流任務執(zhí)行序列角色規(guī)劃的解空間、角色規(guī)劃算法、工作流任務執(zhí)行序列角色規(guī)劃CSP問題描述、角色規(guī)劃CSP問題的修正算法。研究了基于授權(quán)約束的工作流任務指派。研究內(nèi)容涉及在授權(quán)約束條件下的安全指派、可接受指派概念、指派策略、基于授權(quán)約束的任務指派算法、基于授權(quán)約束的多規(guī)則任務指派評價方法、評價過程。研究基于授權(quán)約束的工作流任務指派異常處理。研究內(nèi)容涉及異常事件和操作原語、工作流授權(quán)異常處理的ECA規(guī)則。研究工作流授權(quán)實現(xiàn)的原型系統(tǒng)模型。給出了結(jié)合WFMS與GTRBAC實現(xiàn)工作流授權(quán)約束的原型系統(tǒng)邏輯結(jié)構(gòu)，分析了為實現(xiàn)工作流授權(quán)，WFMS和GTRBAC必須擴展的相關(guān)功能。本專著涉及信息安全、計算機支持的協(xié)同工作兩大研究領域，資源豐富、結(jié)構(gòu)新穎、條理清晰、重點突出，可供高等院校計算機及信息管理相關(guān)專業(yè)研究生、本科生選用。

作者簡介

暫缺《工作流與訪問控制》作者簡介

圖書目錄

第1章工作流與訪問控制概述
1.1 工作流技術(shù)發(fā)展與現(xiàn)狀
1.2 基于角色的工作流授權(quán)
1.2.1 沖突實體管理范例
1.2.2 基于任務的訪問控制
1.2.3 時序基于角色訪問控制(TRBAC)
1.2.4 通用時序基于角色訪問控制(GTRBAC)
1.3 工作流授權(quán)約束的表示
1.3.1 基于角色的約束語言
1.3.2 操作上的職責分割授權(quán)約束
1.3.3 基于主動數(shù)據(jù)庫的授權(quán)約束表示
1.3.4 基于關(guān)系代數(shù)的授權(quán)約束表示
1.3.5 基于謂詞邏輯表示的授權(quán)約束
1.3.6 TRBAC中授權(quán)約束的表示
1.3.7 GTRBAC中授權(quán)約束的表示
1.4 工作流授權(quán)模型的合理性
1.4.1 加權(quán)角色與周期時間訪問控制模型
1.4.2 工作流授權(quán)模型
1.4.3 工作流動態(tài)授權(quán)模型
1.4.4 基于謂詞邏輯的授權(quán)模型
1.5 執(zhí)行時工作流的任務指派
1.6 工作流的任務指派異常處理
1.7 研究背景及內(nèi)容
1.7.1 研究背景及意義
1.7.2 研究內(nèi)容
1.8 本書的組織
1.9 小結(jié)
第2章基于角色的訪問控制模型(NIST標準)
2.1 介紹
2.1.1 背景
2.1.2 RBAC標準化
2.2 組件概述
2.2.1 核心RBAC
2.2.2 等級RBAC
2.2.3 靜態(tài)責任分割關(guān)系
2.2.4 動態(tài)責任分割關(guān)系
2.3 基于角色的訪問控制參考模型
2.3.1 核心RBAC
2.3.2 等級RBAC
2.3.3 約束RBAc
2.4 操作規(guī)范概述
2.4.1 核心RBAC的操作規(guī)范
2.4.2 等級RBAC的操作規(guī)范
2.4.3 SSD關(guān)系上的操作規(guī)范
2.4.4 DSD關(guān)系上的操作規(guī)范
2.5 操作規(guī)范包
2.6 小結(jié)
第3章工作流授權(quán)模型的表示與化簡
3.1 工作流的基本概念
3.2 基于Petri網(wǎng)的工作流模型
3.3 基于業(yè)務實例的工作流模型分解
3.4 工作流授權(quán)模型及授權(quán)約束
3.5 基于步語義Petri網(wǎng)的工作流授權(quán)模型表示與化簡
3.5.1 Petri網(wǎng)中的步語義
3.5.2 工作流授權(quán)模型的步語義Petri網(wǎng)表示及其合理性
3.5.3 工作流授權(quán)模型的化簡
3.6 小結(jié)
第4章工作流授權(quán)合理性驗證
4.1 基于實例分解的WAR驗證
4.1.1 WAR驗證問題的與，或樹
4.1.2 合理指派路徑及與／或樹節(jié)點的可解性
4.1.3 基于實例分解的驗證算法
4.1.4 業(yè)務實例授權(quán)合理性驗證
4.1.5 WAR驗證算法
4.1.6 復雜度分析
4.1.7 實現(xiàn)模型
4.1.8 驗證流程
4.2 基于回溯搜索的工作流任務執(zhí)行序列的角色規(guī)劃+
4.2.1 工作流執(zhí)行序列角色規(guī)劃的解空間
4.2.2 回溯算法
4.2.3 算法復雜度分析
4.2.4 仿真實驗結(jié)果及分析
4.3 基于約束傳播的工作流任務執(zhí)行序列角色規(guī)劃
4.3.1 工作流任務執(zhí)行序列角色規(guī)劃問題的CSP描述
4.3.2 工作流任務指派角色的約束分類
4.3.3 解空間修正算法與角色規(guī)劃程序
4.3.4 修正算法復雜度分析
4.4 小結(jié)
第5章基于授權(quán)約束的多規(guī)則工作流任務指派
5.1 工作流任務指派相關(guān)概念
5.2 基于授權(quán)約束的工作流任務指派算法
5.2.1 算法描述
5.2.2 復雜度分析
5.3 基于授權(quán)約束的多規(guī)則工作流任務指派方法
5.3.1 多規(guī)則任務指派方法
5.3.2 任務指派中的安全風險評價
5.3.3 基于授權(quán)約束的多規(guī)則評價過程
5.3.4 實例分析
5.4 小結(jié)
第6章基于授權(quán)約束的工作流任務指派異常處理
6.1 工作流任務指派異常
6.2 工作流的任務指派異常分析
6.2.1 工作流任務指派異常的概念及產(chǎn)生原因
6.2.2 基于訪問控制系統(tǒng)的處理方法
6.3 工作流任務指派異常處理
6.3.1 基本概念
6.3.2 異常事件及操作原語
6.3.3 ECA規(guī)則示例
6.4 小結(jié)
第7章工作流系統(tǒng)訪問控制的實現(xiàn)模型
7.1 工作流管理系統(tǒng)概述
7.2 GTRBAC基于角色的訪問控制模型
7.3 GTRBAC的授權(quán)約束表示
7.4 基于約束的工作流授權(quán)原型系統(tǒng)結(jié)構(gòu)
7.5 工作流管理系統(tǒng)的功能擴展
7.5.1 工作流定義模塊的擴展
7.5.2 工作流引擎模塊的擴展
7.5.3 工作流客戶端模塊的擴展
7.6 GTRBAC系統(tǒng)的功能擴展
7.7 工作流授權(quán)約束的實現(xiàn)過程
7.8 小結(jié)
結(jié)論
參考文獻
術(shù)語