工作流与访问控制【2025|PDF下载-Epub版本|mobi电子书|kindle百度云盘下载】

工作流与访问控制PDF格式电子书版下载

注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具

第1章 工作流与访问控制概述1

1.1 工作流技术发展与现状1

1.2 基于角色的工作流授权3

1.2.1 冲突实体管理范例4

1.2.2 基于任务的访问控制5

1.2.3 时序基于角色访问控制（TRBAC）6

1.2.4 通用时序基于角色访问控制（GTRBAC）6

1.3 工作流授权约束的表示7

1.3.1 基于角色的约束语言7

1.3.2 操作上的职责分割授权约束7

1.3.3 基于主动数据库的授权约束表示8

1.3.4 基于关系代数的授权约束表示8

1.3.5 基于谓词逻辑表示的授权约束9

1.3.6 TRBAC中授权约束的表示9

1.3.7 GTRBAC中授权约束的表示10

1.4 工作流授权模型的合理性11

1.4.1 加权角色与周期时间访问控制模型11

1.4.2 工作流授权模型12

1.4.3 工作流动态授权模型12

1.4.4 基于谓词逻辑的授权模型13

1.5 执行时工作流的任务指派14

1.6 工作流的任务指派异常处理14

1.7 研究背景及内容15

1.7.1 研究背景及意义15

1.7.2 研究内容16

1.8 本书的组织17

1.9 小结18

第2章 基于角色的访问控制模型（NIST标准）19

2.1 介绍19

2.1.1 背景20

2.1.2 RBAC标准化20

2.2 组件概述21

2.2.1 核心RBAC21

2.2.2 等级RBAC22

2.2.3 静态责任分割关系23

2.2.4 动态责任分割关系23

2.3 基于角色的访问控制参考模型24

2.3.1 核心RBAC24

2.3.2 等级RBAC26

2.3.3 约束RBAC29

2.4 操作规范概述32

2.4.1 核心RBAC的操作规范32

2.4.2 等级RBAC的操作规范33

2.4.3 SSD关系上的操作规范35

2.4.4 DSD关系上的操作规范36

2.5 操作规范包37

2.6 小结38

第3章 工作流授权模型的表示与化简39

3.1 工作流的基本概念39

3.2 基于Petri网的工作流模型39

3.3 基于业务实例的工作流模型分解41

3.4 工作流授权模型及授权约束41

3.5 基于步语义Petri网的工作流授权模型表示与化简42

3.5.1 Petri网中的步语义42

3.5.2 工作流授权模型的步语义Petri网表示及其合理性43

3.5.3 工作流授权模型的化简44

3.6 小结44

第4章 工作流授权合理性验证45

4.1 基于实例分解的WAR验证45

4.1.1 WAR验证问题的与／或树45

4.1.2 合理指派路径及与／或树节点的可解性46

4.1.3 基于实例分解的验证算法47

4.1.4 业务实例授权合理性验证47

4.1.5 WAR验证算法48

4.1.6 复杂度分析49

4.1.7 实现模型50

4.1.8 验证流程50

4.2 基于回溯搜索的工作流任务执行序列的角色规划52

4.2.1 工作流执行序列角色规划的解空间52

4.2.2 回溯算法53

4.2.3 算法复杂度分析54

4.2.4 仿真实验结果及分析54

4.3 基于约束传播的工作流任务执行序列角色规划57

4.3.1 工作流任务执行序列角色规划问题的CSP描述57

4.3.2 工作流任务指派角色的约束分类57

4.3.3 解空间修正算法与角色规划程序58

4.3.4 修正算法复杂度分析60

4.4 小结60

第5章 基于授权约束的多规则工作流任务指派61

5.1 工作流任务指派相关概念61

5.2 基于授权约束的工作流任务指派算法62

5.2.1 算法描述62

5.2.2 复杂度分析63

5.3 基于授权约束的多规则工作流任务指派方法63

5.3.1 多规则任务指派方法63

5.3.2 任务指派中的安全风险评价65

5.3.3 基于授权约束的多规则评价过程66

5.3.4 实例分析66

5.4 小结69

第6章 基于授权约束的工作流任务指派异常处理70

6.1 工作流任务指派异常70

6.2 工作流的任务指派异常分析70

6.2.1 工作流任务指派异常的概念及产生原因70

6.2.2 基于访问控制系统的处理方法71

6.3 工作流任务指派异常处理72

6.3.1 基本概念72

6.3.2 异常事件及操作原语72

6.3.3 ECA规则示例73

6.4 小结74

第7章 工作流系统访问控制的实现模型75

7.1 工作流管理系统概述75

7.2 GTRBAC基于角色的访问控制模型76

7.3 GTRBAC的授权约束表示76

7.4 基于约束的工作流授权原型系统结构78

7.5 工作流管理系统的功能扩展78

7.5.1 工作流定义模块的扩展78

7.5.2 工作流引擎模块的扩展79

7.5.3 工作流客户端模块的扩展79

7.6 GTRBAC系统的功能扩展80

7.7 工作流授权约束的实现过程80

7.8 小结81

结论82

参考文献84

术语88