9.3.3　软件重构 181
要点 182
阅读推荐 182
网站 183
练习 183
参考文献 183
第二部分　系统可依赖性和信息安全
第10章　可依赖系统 186
10.1　可依赖性属性 187
10.2　社会技术系统 189
10.2.1　规章与守约 191
10.3　冗余和多样性 192
10.4　可依赖的过程 193
10.5　形式化方法与可依赖性 195
要点 197
阅读推荐 198
网站 198
练习 198
参考文献 199
第11章　可靠性工程 200
11.1　可用性和可靠性 202
11.2　可靠性需求 203
11.2.1　可靠性度量 204
11.2.2　非功能性可靠性需求 205
11.2.3　功能性可靠性规格说明 207
11.3　容错体系结构 207
11.3.1　保护性系统 208
11.3.2　自监控系统体系结构 208
11.3.3　N版本编程 210
11.3.4　软件多样性 211
11.4　可靠性编程 212
11.5　可靠性度量 216
11.5.1　运行概况 218
要点 218
阅读推荐 219
网站 219
练习 219
参考文献 220
第12章　安全工程 221
12.1　安全关键系统 222
12.2　安全需求 224
12.2.1　危险识别 225
12.2.2　危险评估 226
12.2.3　危险分析 227
12.2.4　风险降低 229
12.3　安全工程过程 229
12.3.1　安全保证过程 230
12.3.2　形式化验证 232
12.3.3　模型检测 233
12.3.4　静态程序分析 234
12.4　安全案例 235
12.4.1　结构化论证 237
12.4.2　软件的安全论证 238
要点 240
阅读推荐 241
网站 241
练习 241
参考文献 242
第13章　信息安全工程 244
13.1　信息安全和可依赖性 245
13.2　信息安全和组织 248
13.2.1　信息安全风险评估 249
13.3　信息安全需求 249
13.3.1　滥用案例 252
13.4　信息安全系统设计 253
13.4.1　设计风险评估 254
13.4.2　体系结构设计 257
13.4.3　设计准则 259
13.4.4　信息安全系统编程 263
13.5　信息安全测试和保证 263
要点 265
阅读推荐 265
网站 265
练习 266
参考文献 266
第14章　韧性工程 268
14.1　网络安全 270
14.2　社会技术韧性 273
14.2.1　人为错误 275

 2/2   首页 上一页 1 2

教材 研究生/本科/专科教材 工学

在线阅读