工作流與訪問控制

第1章 工作流與訪問控制概述
1.1 工作流技術(shù)發(fā)展與現(xiàn)狀
1.2 基于角色的工作流授權(quán)
1.2.1 沖突實(shí)體管理范例
1.2.2 基于任務(wù)的訪問控制
1.2.3 時(shí)序基于角色訪問控制(TRBAC)
1.2.4 通用時(shí)序基于角色訪問控制(GTRBAC)
1.3 工作流授權(quán)約束的表示
1.3.1 基于角色的約束語言
1.3.2 操作上的職責(zé)分割授權(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)角色與周期時(shí)間訪問控制模型
1.4.2 工作流授權(quán)模型
1.4.3 工作流動態(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 研究內(nèi)容
1.8 本書的組織
1.9 小結(jié)
第2章 基于角色的訪問控制模型(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 等級RBAC
2.2.3 靜態(tài)責(zé)任分割關(guān)系
2.2.4 動態(tài)責(zé)任分割關(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è)務(wù)實(shí)例的工作流模型分解
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)合理性驗(yàn)證
4.1 基于實(shí)例分解的WAR驗(yàn)證
4.1.1 WAR驗(yàn)證問題的與，或樹
4.1.2 合理指派路徑及與／或樹節(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ī)劃問題的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)評價(jià)
5.3.3 基于授權(quán)約束的多規(guī)則評價(jià)過程
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 基于訪問控制系統(tǒng)的處理方法
6.3 工作流任務(wù)指派異常處理
6.3.1 基本概念
6.3.2 異常事件及操作原語
6.3.3 ECA規(guī)則示例
6.4 小結(jié)
第7章 工作流系統(tǒng)訪問控制的實(shí)現(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)的功能擴(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)過程
7.8 小結(jié)
結(jié)論
參考文獻(xiàn)
術(shù)語