工作流與訪問控制

定　價：￥28.00

作　者：	歐陽昱著
出版社：	航空工業(yè)出版社
叢編項：
標　簽：	計算機理論

購買這本書可以去

ISBN：	9787802435803	出版時間：	2010-07-01	包裝：	平裝
開本：	16開	頁數(shù)：	92	字數(shù)：

內容簡介

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

作者簡介

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

圖書目錄

第1章工作流與訪問控制概述
1.1 工作流技術發(fā)展與現(xiàn)狀
1.2 基于角色的工作流授權
1.2.1 沖突實體管理范例
1.2.2 基于任務的訪問控制
1.2.3 時序基于角色訪問控制(TRBAC)
1.2.4 通用時序基于角色訪問控制(GTRBAC)
1.3 工作流授權約束的表示
1.3.1 基于角色的約束語言
1.3.2 操作上的職責分割授權約束
1.3.3 基于主動數(shù)據(jù)庫的授權約束表示
1.3.4 基于關系代數(shù)的授權約束表示
1.3.5 基于謂詞邏輯表示的授權約束
1.3.6 TRBAC中授權約束的表示
1.3.7 GTRBAC中授權約束的表示
1.4 工作流授權模型的合理性
1.4.1 加權角色與周期時間訪問控制模型
1.4.2 工作流授權模型
1.4.3 工作流動態(tài)授權模型
1.4.4 基于謂詞邏輯的授權模型
1.5 執(zhí)行時工作流的任務指派
1.6 工作流的任務指派異常處理
1.7 研究背景及內容
1.7.1 研究背景及意義
1.7.2 研究內容
1.8 本書的組織
1.9 小結
第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)責任分割關系
2.2.4 動態(tài)責任分割關系
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ī)范
2.4.4 DSD關系上的操作規(guī)范
2.5 操作規(guī)范包
2.6 小結
第3章工作流授權模型的表示與化簡
3.1 工作流的基本概念
3.2 基于Petri網(wǎng)的工作流模型
3.3 基于業(yè)務實例的工作流模型分解
3.4 工作流授權模型及授權約束
3.5 基于步語義Petri網(wǎng)的工作流授權模型表示與化簡
3.5.1 Petri網(wǎng)中的步語義
3.5.2 工作流授權模型的步語義Petri網(wǎng)表示及其合理性
3.5.3 工作流授權模型的化簡
3.6 小結
第4章工作流授權合理性驗證
4.1 基于實例分解的WAR驗證
4.1.1 WAR驗證問題的與，或樹
4.1.2 合理指派路徑及與／或樹節(jié)點的可解性
4.1.3 基于實例分解的驗證算法
4.1.4 業(yè)務實例授權合理性驗證
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 仿真實驗結果及分析
4.3 基于約束傳播的工作流任務執(zhí)行序列角色規(guī)劃
4.3.1 工作流任務執(zhí)行序列角色規(guī)劃問題的CSP描述
4.3.2 工作流任務指派角色的約束分類
4.3.3 解空間修正算法與角色規(guī)劃程序
4.3.4 修正算法復雜度分析
4.4 小結
第5章基于授權約束的多規(guī)則工作流任務指派
5.1 工作流任務指派相關概念
5.2 基于授權約束的工作流任務指派算法
5.2.1 算法描述
5.2.2 復雜度分析
5.3 基于授權約束的多規(guī)則工作流任務指派方法
5.3.1 多規(guī)則任務指派方法
5.3.2 任務指派中的安全風險評價
5.3.3 基于授權約束的多規(guī)則評價過程
5.3.4 實例分析
5.4 小結
第6章基于授權約束的工作流任務指派異常處理
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 小結
第7章工作流系統(tǒng)訪問控制的實現(xiàn)模型
7.1 工作流管理系統(tǒng)概述
7.2 GTRBAC基于角色的訪問控制模型
7.3 GTRBAC的授權約束表示
7.4 基于約束的工作流授權原型系統(tǒng)結構
7.5 工作流管理系統(tǒng)的功能擴展
7.5.1 工作流定義模塊的擴展
7.5.2 工作流引擎模塊的擴展
7.5.3 工作流客戶端模塊的擴展
7.6 GTRBAC系統(tǒng)的功能擴展
7.7 工作流授權約束的實現(xiàn)過程
7.8 小結
結論
參考文獻
術語