角色委托代理授權：模型與算法

目錄
序
前言
第1章 概述 1
1.1 信息系統(tǒng)安全研究 1
1.2 信息系統(tǒng)安全的訪問控制模型研究 5
1.2.1 自主訪問控制(DAC) 6
1.2.2 強制訪問控制(MAC) 7
1.2.3 基于角色的訪問控制(RBAC) 8
1.3 基于角色的委托代理授權模型研究 12
1.4 本書的主要研究結果 15
1.5 本章小結 18
第2章 相關工作 19
2.1 引言 19
2.2 基于許可的權限委托代理相關工作 19
2.3 基于角色的權限委托代理相關工作 20
2.3.1 RBDM0模型 21
2.3.2 RDM2000模型 23
2.3.3 PBDM模型 24
2.4 權限委托代理間接相關工作 25
2.5 本章小結 26
第3章 角色委托代理授權ECA規(guī)則系統(tǒng) 27
3.1 引言 27
3.2 ECA規(guī)則 27
3.2.1 ECA規(guī)則模型 28
3.2.2 TRDG的委托代理授權知識模型 28
3.2.3 TRDG的ECA規(guī)則執(zhí)行模型 35
3.2.4 TRDG模型的ECA規(guī)則系統(tǒng) 35
3.3 本章小結 36
第4章 時態(tài)角色委托代理授權圖模型 37
4.1 引言 37
4.2 問題背景 37
4.3 基于角色的委托代理準則 46
4.4 時態(tài)角色委托代理授權圖模型基本概念 48
4.4.1 周期時間表示 48
4.4.2 TRDG模型構成要素 50
4.5 單調與非單調時態(tài)角色委托代理授權 61
4.6 時態(tài)角色委托代理授權支持關系 63
4.7 時態(tài)角色委托代理授權鏈及其性質 65
4.8 時態(tài)角色委托代理授權圖及其存儲結構 70
4.9 時態(tài)角色委托代理授權實施算法 76
4.10 時態(tài)角色委托代理授權圖的性質 78
4.11 時態(tài)角色委托代理授權撤銷 82
4.11.1 時間觸發(fā)的時態(tài)角色委托代理授權撤銷 83
4.11.2 用戶實施的時態(tài)角色委托代理授權撤銷 88
4.12 本章小結 103
第5章 時態(tài)角色委托代理授權約束 104
5.1 引言 104
5.2 一階謂詞演算系統(tǒng)K*基本知識 105
5.3 時態(tài)角色委托代理授權狀態(tài)謂詞 108
5.4 TRDG模型的委托代理授權基數(shù)約束 112
5.5 TRDG模型的授權控制流依賴約束 113
5.5.1 擴展觸發(fā)器 114
5.5.2 授權控制流依賴約束 115
5.6 TRDG模型時態(tài)角色委托代理授權職責分離約束 117
5.6.1 時態(tài)角色委托代理授權靜態(tài)互斥關系 119
5.6.2 時態(tài)角色委托代理授權靜態(tài)互斥關系性質 122
5.6.3 時態(tài)角色委托代理授權靜態(tài)職責分離 124
5.6.4 時態(tài)角色委托代理授權動態(tài)互斥關系 125
5.6.5 時態(tài)角色委托代理授權動態(tài)互斥關系性質 126
5.6.6 時態(tài)角色委托代理授權動態(tài)職責分離 127
5.6.7 時態(tài)角色委托代理授權撤銷職責分離 129
5.7 TRDG模型時態(tài)角色委托代理授權職責協(xié)同約束 131
5.7.1 委托代理授權靜態(tài)協(xié)同關系 131
5.7.2 時態(tài)角色委托代理授權靜態(tài)協(xié)同關系性質 133
5.7.3 時態(tài)角色委托代理授權靜態(tài)職責協(xié)同 135
5.7.4 時態(tài)角色委托代理授權動態(tài)協(xié)同關系 136
5.7.5 時態(tài)角色委托代理授權動態(tài)協(xié)同關系性質 137
5.7.6 時態(tài)角色委托代理授權動態(tài)職責協(xié)同 138
5.8 時態(tài)角色委托代理授權關系一致性 140
5.9 帶約束的時態(tài)角色委托代理授權關聯(lián)實施算法 141
5.10 本章小結 144
第6章 TRDG模型性質及其安全性分析 145
6.1 引言 145
6.2 基本概念 145
6.3 TRDG模型性質 146
6.4 TRDG模型安全性分析 149
6.5 相關模型能力比較 153
6.6 本章小結 155
第7章 總結與展望 156
7.1 本書研究總結 156
7.2 進一步研究展望 157
參考文獻 159