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

第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ǔ)