角色委托代理授權(quán)：模型與算法

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