(特价书)金融信息安全工程

.1.3.4　周期性 12
1.3.5　社会性 13
1.4　信息安全工程 14
1.4.1　信息安全工程的概念 14
1.4.2　信息安全工程过程 15
1.4.3　信息安全管理 16
1.4.4　信息安全工程能力成熟度 17
第2章　金融信息风险 21
2.1　信息风险模型 21
2.1.1　资产 21
2.1.2　威胁 22
2.1.3　脆弱性 23
2.1.4　风险 24
2.2　金融信息风险识别 25
2.2.1　风险事件类型 25
2.2.2　金融交易中的风险点 27
2.2.3　风险分布描述 31
2.3　定性评估 32
2.4　分级测量 34
2.4.1　风险要素赋值 34
2.4.2　风险计算 35
2.5　定量方法 36
2.5.1　计算原理 36
2.5.2　基本指标法 37
2.5.3　标准法 37
2.5.4　高级计量法 39
2.6　风险评估报告 40
2.7　风险处置 41
第3章　应用密码学基础 42
3.1　概述 42
3.1.1　密码系统模型 42
3.1.2　随机数 43
3.1.3　密码分析 43
3.2　对称密钥密码系统 44
3.2.1　乘积密码 45
3.2.2　密码部件 45
3.2.3　密码构造实例 46
3.2.4　安全性分析 48
3.2.5　工作模式 49
3.3　散列函数和mac码 50
3.3.1　散列函数 50
3.3.2　mac码 51
3.4　公钥密码系统 52
3.4.1　公钥密码系统概述 52
3.4.2　rsa密码 52
3.4.3　dss签名算法 53
3.4.4　椭圆曲线密码系统 54
3.4.5　不同密码系统的比较 55
3.5　专用密码系统 56
3.5.1　门限方案 56
3.5.2　电子货币系统 57
第4章　密钥管理 60
4.1　密钥周期 60
4.2　密钥保护 61
4.2.1　密钥保护要求 61
4.2.2　硬件密码模块 62
4.2.3　密码模块的安全管理 64
4.3　对称密钥管理体系 64
4.3.1　层次化密钥 64
4.3.2　密钥分配协议 66
4.4　公钥/证书管理 69
4.4.1　证书 69
4.4.2　pki系统结构 70
4.4.3　密钥/证书生命周期管理 72
4.4.4　证书撤销机制 75
4.5　基于公钥密码系统的密钥分配 80
4.5.1　nspk密钥分配协议 80
4.5.2　安全diffie-hellman密钥交换 81
第5章　身份认证 83
5.1　身份认证概述 83
5.1.1　认证系统模型 83
5.1.2　认证系统的性质 84
5.1.3　认证类型 84
5.1.4　命名问题 85
5.2　口令机制 87
5.2.1　对抗口令猜测 87
5.2.2　对抗线路窃听 88
5.2.3　动态口令 89
5.3　基于对称密码技术的认证 91
5.3.1　基于mac码的身份认证 91
5.3.2　合法性校验值 92
5.4　基于公钥技术的认证 93
5.4.1　iso/iec 9798协议标准 94
5.4.2　emv卡脱机认证 94
5.4.3　可信平台证明 96
5.5　基于生物特征的身份认证 97
5.5.1　认证原理 97
5.5.2　应用问题 98
5.6　认证系统的实现 99
5.6.1　认证设施 99
5.6.2　认证模式 99
5.6.3　可插入的认证模块机制 100
第6章　访问控制 102
6.1　访问控制系统模型 102
6.2　访问控制策略 104
6.2.1　访问控制策略类型 104
6.2.2　访问控制策略的配置原则 104
6.2.3　多种策略的组合问题 105
6.2.4　访问控制策略的描述 106
6.3　自主访问控制策略 106
6.3.1　访问控制列表..107
6.3.2　访问控制矩阵 108
6.3.3　授权证书 108
6.4　强制访问控制策略 109
6.4.1　blp模型 109
6.4.2　biba模型 111
6.4.3　lipner模型 112
6.4.4　长城模型 114
6.5　bma模型 115
6.5.1　bma模型的访问规则 115
6.5.2　bma模型的应用问题 116
6.6　基于角色的访问控制 118
6.6.1　系统模型 118
6.6.2　权限管理 119
6.7　访问控制在计算机系统中的实现 121
6.7.1　实现方式 121
6.7.2　程序设计中的域保护问题 121
第7章　应用安全协议 125
7.1　安全服务 125
7.2　完整性服务实现机制 127
7.2.1　数据完整性 127
7.2.2　完整性恢复 128
7.3　非否认性服务实现机制 129
7.3.1　非否认过程的各个阶段 129
7.3.2　非否认机制 129
7.3.3　可信第三方功能 131
7.4　应用层安全协议分析 132
7.4.1　结构模型 132
7.4.2　消息模型 134
7.4.3　需求检验方法 135
7.5　高层安全协议结构 136
7.5.1　安全关联 137
7.5.2　安全变换 138
7.5.3　安全交换 138
7.6　安全表示法 139
7.6.1　目录认证服务框架 139
7.6.2　通用高层安全标准 140
7.6.3　表示层操作 141
7.6.4　编解码 141
7.7　协议设计 142
7.7.1　构造保护性传输语法 142
7.7.2　选择合适的安全变换模式 143
第8章　事务处理 146
8.1　事务处理的完整性模型 146
8.1.1　金融交易处理过程 146
8.1.2　事务 147
8.1.3　受控关系 148
8.1.4　变换过程 149
8.1.5　授权 150
8.2　原子性 151
8.2.1　原子性需求 151
8.2.2　分布式事务处理模型 151
8.2.3　原子性保证 153
8.2.4　冲正 154
8.3　并发处理 155
8.3.1　并发问题 155
8.3.2　锁机制 156
8.3.3　锁机制的应用 157
8.4　一致性 158
8.4.1　操作员轧账 158
8.4.2　营业网点轧账 159
8.4.3　主机日终轧账 160
8.4.4　年终结转 162
8.5　永久性 164
8.5.1　交易记录 164
8.5.2　记录保护 165
第9章　形式化方法的应用 167
9.1　形式化方法基础 167
9.1.1　形式化语言中的数学对象 167
9.1.2　模式 169
9.1.3　形式化方法的使用过程 171
9.2　抽象系统 172
9.2.1　状态规范 172
9.2.2　操作规范 173
9.2.3　安全性质及其分析 174
9.3　系统规范的求精 175
9.3.1　状态规范 175
9.3.2　本地操作规范 177
9.3.3　全局操作规范 181
9.4　正确性证明 182
9.4.1　证明规则 182
9.4.2　状态提取关系 184
9.4.3　输入输出提取关系 185
9.4.4　证明过程 186
9.5　强制式程序的开发问题 189
9.5.1　引入强制式程序结构 190
9.5.2　开发过程 191
第10章　构建有安全保障的应用系统 193
10.1　确定系统的安全需求 193
10.1.1　安全需求分析 193
10.1.2　安全需求陈述 194
10.2　构建信息系统安全框架 196
10.2.1　安全机制的选择 196
10.2.2　安全机制在系统不同
层次中的分布 197
10.2.3　安全机制在系统部件
中的分布 199
10.3　建立安全设施 200
10.3.1　安全服务器 200
10.3.2　安全管理设施 201
10.4　系统可用性保障 201
10.4.1　提高稳定性和效率 201
10.4.2　可靠性和容错处理 204
10.5　安全软件的开发 205
10.5.1　安全设计 206
10.5.2　安全设计文档 206
10.5.3　安全代码 207
10.5.4　安全测试 208
10.5.5　项目管理体系 210
10.6　应用系统的切换 211
10.6.1　数据转换 211
10.6.2　系统切换 211
第11章　系统运营中的安全管理 214
11.1　安全组织结构 214
11.2　安全人事管理 216
11.3　安全系统管理 217
11.4　安全事件管理 220
11.4.1　安全事件生命周期 220
11.4.2　应急计划 221
11.5　灾难恢复 223
11.5.1　数据分类 223
11.5.2　灾难备份 224
11.5.3　灾难恢复方案的选择 226
11.5.4　成本－效益分析 227
11.5.5　灾难恢复过程 229
11.6　安全审计 230
11.6.1　安全警报 230
11.6.2　审计日志 231
11.6.3　安全关联 232
11.6.4　贝叶斯推理 233
11.6.5　审计报告 234
11.7　信息风险事件的实时响应 235
参考文献 ...237