《计算机数据安全 下》求取 ⇩

第三章 存取控制1

3·1 存取矩阵模型和存取控制政策1

3·1·1 保护系统的状态2

3·1·2　状态转换5

3·1·3 存取控制政策9

3·2 存取控制机制综述11

3·2·1 分享和可靠性引出的安全性问题11

3·2·2　一般性要求15

3·2·3　设计原则15

3·3 存取等级结构16

3·3·1 指定权利的执行模式17

3·3·2　程序的嵌套结构18

3·4 授权表及其权利撤消问题18

3·4·1　授权表18

3·4·2 权利的撤消20

3·5　能力23

3·5·1 入口能力与域切换24

3·5·2 抽象数据类型25

3·5·3　基于能力的寻址29

3·5·4　能力的撤消31

3·5·5　锁和键32

3·5·6　查询修改33

3·6 安宁系统理论34

3·6·1　一般性系统34

3·6·2　若干受限制的保护系统37

3·6·3　具有易处理安宁性问题的保护系统38

3·6·4 引用一批准系统43

3·7 可证明的安全系统51

3·7·1　安全性核52

3·7·2 层次化分解和设计54

3·7·3 证明过程56

第三章习题58

第三章参考文献60

第四章　信息流控制64

4·1 信息流通的格模型64

4·1·1　格和信息流通政策64

4·1·2 系统的信息状态68

4·1·3 状态转换和信息流68

4·1·4 格性质的应用72

4·2 信息流控制机制综述74

4·2·1 安全性和精确性74

4·2·2　流的通道75

4·3 基于执行的机制76

4·3·1　流安全存取控制76

4·3·2　数据标记机78

4·3·3 动态地实施安全性检查82

4·4 基于编译的机制84

4·4·1　流说明84

4·4·2　安全性要求85

4·4·3　证明语义88

4·4·4 结构化的数据类型90

4·4·5 任意控制结构的顺序程序91

4·4·6　并发和同步92

4·4·7　不正常终止95

4·5　程序证明97

4·5·1　赋值99

4·5·2　复合100

4·5·3　交替101

4·5·4 迭代103

4·5·5　过程调用104

4·5·6　并行程序和同步流107

4·5·7　安全性111

4·6 实际系统中的流控制112

4·6·1 安全系统中关于流的安全性证明112

4·6·2 与流控制有关的问题114

第四章习题115

第四章参考文献119

第五章 推理控制122

5·1 统计数据库模型122

　5·1·1　信息状态122

5·1·2　统计类型124

5·1·3 敏感统计的泄露126

5·1·4　完全秘密性和保护128

5·2 推理控制机制129

5·2·1　安全性与精确性129

5·2·2　释放的方法130

　5·3　攻击方法132

5·3·1　小查询集和大查询集攻击132

　5·3·2　追踪者攻击133

5·3·3　线性系统攻击137

5·3·4　对选择函数的攻击143

5·3·5 插入和删除攻击148

5·4 限制统计的机制148

5·4·1　项目隐藏149

5·4·2 蕴含查询集控制153

5·4·3　划分155

5·5 加噪音机制157

5·5·1　响应扰乱157

5·5·2　随机样本查询159

5·5·3　随机扩展查询162

5·5·4　数据扰乱163

5·5·5　数据切换165

5·5·6 随机化响应167

5·6　本章小结168

第五章习题169

第五章参考文献173

结束语177