工作流與訪問(wèn)控制

定　價(jià)：￥28.00

作　者：	歐陽(yáng)昱著
出版社：	航空工業(yè)出版社
叢編項(xiàng)：
標(biāo)　簽：	計(jì)算機(jī)理論

購(gòu)買這本書(shū)可以去

ISBN：	9787802435803	出版時(shí)間：	2010-07-01	包裝：	平裝
開(kāi)本：	16開(kāi)	頁(yè)數(shù)：	92	字?jǐn)?shù)：

內(nèi)容簡(jiǎn)介

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

作者簡(jiǎn)介

暫缺《工作流與訪問(wèn)控制》作者簡(jiǎn)介

圖書(shū)目錄

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