角色委托代理授权:模型与算法

本书围绕网络信息系统安全领域的资源访问授权问题展开研究，重点探讨基于角色的访问控制（RBAC）中的角色委托代理授权问题，提出了角色委托代理授权的“事件-条件-行为”规则系统，建立了角色委托代理授权准则体系和图模型，提出了若干角色委托代理授权策略和授权撤销策略，研究了角色委托代理授权的时间约束、职责分离约束和职责协同约束，设计了角色委托代授权策略和授权撤销策略实施算法，并讨论了角色委托代理授权策略的一致性和安全性。本书内容既有系统的理论性，也具有较强的实践性，可供网络安全、工作流管理系统、数据库系统、网络信息管理系统和大数据工程等相关领域的科技工作者和高校师生参考。

序
前言
第1章概述1
1.1信息系统安全研究1
1.2信息系统安全的访问控制模型研究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.1RBDM0模型21
2.3.2RDM2000模型23
2.3.3PBDM模型24
2.4权限委托代理间接相关工作25
2.5本章小结26
第3章角色委托代理授权ECA规则系统27
3.1引言27
3.2ECA规则27
3.2.1ECA规则模型28
3.2.2TRDG的委托代理授权知识模型28
3.2.3TRDG的ECA规则执行模型35
3.2.4TRDG模型的ECA规则系统35
3.3本章小结36
第4章时态角色委托代理授权图模型37
4.1引言37
4.2问题背景37
4.3基于角色的委托代理准则46
4.4时态角色委托代理授权图模型基本概念48
4.4.1周期时间表示48
4.4.2TRDG模型构成要素50
4.5单调与非单调时态角色委托代理授权61
4.6时态角色委托代理授权支持关系63
4.7时态角色委托代理授权链及其性质65
4.8时态角色委托代理授权图及其存储结构70
4.9时态角色委托代理授权实施算法76
4.10时态角色委托代理授权图的性质78
4.11时态角色委托代理授权撤销82
4.11.1时间触发的时态角色委托代理授权撤销83
4.11.2用户实施的时态角色委托代理授权撤销88
4.12本章小结103
第5章时态角色委托代理授权约束104
5.1引言104
5.2一阶谓词演算系统K*基本知识105
5.3时态角色委托代理授权状态谓词108
5.4TRDG模型的委托代理授权基数约束112
5.5TRDG模型的授权控制流依赖约束113
5.5.1扩展触发器114
5.5.2授权控制流依赖约束115
5.6TRDG模型时态角色委托代理授权职责分离约束117
5.6.1时态角色委托代理授权静态互斥关系119
5.6.2时态角色委托代理授权静态互斥关系性质122
5.6.3时态角色委托代理授权静态职责分离124
5.6.4时态角色委托代理授权动态互斥关系125
5.6.5时态角色委托代理授权动态互斥关系性质126
5.6.6时态角色委托代理授权动态职责分离127
5.6.7时态角色委托代理授权撤销职责分离129
5.7TRDG模型时态角色委托代理授权职责协同约束131
5.7.1委托代理授权静态协同关系131
5.7.2时态角色委托代理授权静态协同关系性质133
5.7.3时态角色委托代理授权静态职责协同135
5.7.4时态角色委托代理授权动态协同关系136
5.7.5时态角色委托代理授权动态协同关系性质137
5.7.6时态角色委托代理授权动态职责协同138
5.8时态角色委托代理授权关系一致性140
5.9带约束的时态角色委托代理授权关联实施算法141
5.10本章小结144
第6章TRDG模型性质及其安全性分析145
6.1引言145
6.2基本概念145
6.3TRDG模型性质146
6.4TRDG模型安全性分析149
6.5相关模型能力比较153
6.6本章小结155
第7章总结与展望156
7.1本书研究总结156
7.2进一步研究展望157
参考文献159