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

目錄
序
前言
第1章 概述 1
1.1 信息系統(tǒng)安全研究 1
1.2 信息系統(tǒng)安全的訪問(wèn)控制模型研究 5
1.2.1 自主訪問(wèn)控制(DAC) 6
1.2.2 強(qiáng)制訪問(wèn)控制(MAC) 7
1.2.3 基于角色的訪問(wèn)控制(RBAC) 8
1.3 基于角色的委托代理授權(quán)模型研究 12
1.4 本書(shū)的主要研究結(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)知識(shí)模型 28
3.2.3 TRDG的ECA規(guī)則執(zhí)行模型 35
3.2.4 TRDG模型的ECA規(guī)則系統(tǒng) 35
3.3 本章小結(jié) 36
第4章 時(shí)態(tài)角色委托代理授權(quán)圖模型 37
4.1 引言 37
4.2 問(wèn)題背景 37
4.3 基于角色的委托代理準(zhǔn)則 46
4.4 時(shí)態(tài)角色委托代理授權(quán)圖模型基本概念 48
4.4.1 周期時(shí)間表示 48
4.4.2 TRDG模型構(gòu)成要素 50
4.5 單調(diào)與非單調(diào)時(shí)態(tài)角色委托代理授權(quán) 61
4.6 時(shí)態(tài)角色委托代理授權(quán)支持關(guān)系 63
4.7 時(shí)態(tài)角色委托代理授權(quán)鏈及其性質(zhì) 65
4.8 時(shí)態(tài)角色委托代理授權(quán)圖及其存儲(chǔ)結(jié)構(gòu) 70
4.9 時(shí)態(tài)角色委托代理授權(quán)實(shí)施算法 76
4.10 時(shí)態(tài)角色委托代理授權(quán)圖的性質(zhì) 78
4.11 時(shí)態(tài)角色委托代理授權(quán)撤銷 82
4.11.1 時(shí)間觸發(fā)的時(shí)態(tài)角色委托代理授權(quán)撤銷 83
4.11.2 用戶實(shí)施的時(shí)態(tài)角色委托代理授權(quán)撤銷 88
4.12 本章小結(jié) 103
第5章 時(shí)態(tài)角色委托代理授權(quán)約束 104
5.1 引言 104
5.2 一階謂詞演算系統(tǒng)K*基本知識(shí) 105
5.3 時(shí)態(tài)角色委托代理授權(quán)狀態(tài)謂詞 108
5.4 TRDG模型的委托代理授權(quán)基數(shù)約束 112
5.5 TRDG模型的授權(quán)控制流依賴約束 113
5.5.1 擴(kuò)展觸發(fā)器 114
5.5.2 授權(quán)控制流依賴約束 115
5.6 TRDG模型時(shí)態(tài)角色委托代理授權(quán)職責(zé)分離約束 117
5.6.1 時(shí)態(tài)角色委托代理授權(quán)靜態(tài)互斥關(guān)系 119
5.6.2 時(shí)態(tài)角色委托代理授權(quán)靜態(tài)互斥關(guān)系性質(zhì) 122
5.6.3 時(shí)態(tài)角色委托代理授權(quán)靜態(tài)職責(zé)分離 124
5.6.4 時(shí)態(tài)角色委托代理授權(quán)動(dòng)態(tài)互斥關(guān)系 125
5.6.5 時(shí)態(tài)角色委托代理授權(quán)動(dòng)態(tài)互斥關(guān)系性質(zhì) 126
5.6.6 時(shí)態(tài)角色委托代理授權(quán)動(dòng)態(tài)職責(zé)分離 127
5.6.7 時(shí)態(tài)角色委托代理授權(quán)撤銷職責(zé)分離 129
5.7 TRDG模型時(shí)態(tài)角色委托代理授權(quán)職責(zé)協(xié)同約束 131
5.7.1 委托代理授權(quán)靜態(tài)協(xié)同關(guān)系 131
5.7.2 時(shí)態(tài)角色委托代理授權(quán)靜態(tài)協(xié)同關(guān)系性質(zhì) 133
5.7.3 時(shí)態(tài)角色委托代理授權(quán)靜態(tài)職責(zé)協(xié)同 135
5.7.4 時(shí)態(tài)角色委托代理授權(quán)動(dòng)態(tài)協(xié)同關(guān)系 136
5.7.5 時(shí)態(tài)角色委托代理授權(quán)動(dòng)態(tài)協(xié)同關(guān)系性質(zhì) 137
5.7.6 時(shí)態(tài)角色委托代理授權(quán)動(dòng)態(tài)職責(zé)協(xié)同 138
5.8 時(shí)態(tài)角色委托代理授權(quán)關(guān)系一致性 140
5.9 帶約束的時(shí)態(tài)角色委托代理授權(quán)關(guān)聯(lián)實(shí)施算法 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 本書(shū)研究總結(jié) 156
7.2 進(jìn)一步研究展望 157
參考文獻(xiàn) 159