计算机安全学：安全的艺术与科学——国外计算机科学教材系列 (2008 年度畅销榜NO.4556 )

本书系统地介绍了计算机安全的基本原理与应用技术。全书包括九大部分，其中安全策略模型部分详细讨论了多种不同安全策略模型的原理，包括Bell-LaPadula模型、Biba模型、中国墙模型、Clark-Wilson模型等。密码学部分重点介绍密码学的应用，包括密钥管理与密钥托管、密钥分配、网络中的密码系统以及认证理论等问题。非密码学的安全机制部分介绍计算机安全实现中的多方面内容，包括安全设计原则、身份表达、访问控制实施、信息流控制等，同时还以专题的形式介绍了恶意代码、漏洞分析、审计、入侵检测等原理与技术。安全保障部分介绍可信系统的构建与评估的理论与技术，包括安全保障原理、形式化验证和可信系统评估标准等。本书还包含大量的实例、科技文献介绍以及实践内容，为帮助读者阅读，还介绍了书中用到的数学知识。\r\n 读者对象：本书内容广博，实例详尽，具有很高的理论与实践参考价值，可作为研究生和高年级本科生的教材，也可供从事信息安全、计算机、通信等领域的科技人员参考。

第一部分 绪论\r\n 第1章 计算机安全概述\r\n 1.1 基本安全服务\r\n 1.2 威胁\r\n 1.3 策略与机制\r\n 1.4 假设和信任\r\n 1.5 安全保障\r\n 1.6 运作问题\r\n 1.7 人为因素\r\n 1.8 整合\r\n 1.9 本章小结\r\n 1.10 研究议题\r\n 1.11 进阶阅读\r\n 1.12 习题\r\n第二部分 基础知识\r\n 第2章 访问控制矩阵\r\n 2.1 保护状态\r\n 2.2 访问控制矩阵模型\r\n 2.3 保护状态转换\r\n 2.4 复制、拥有和权限衰减规则\r\n 2.5 本章小结\r\n 2.6 研究议题\r\n 2.7 进阶阅读\r\n 2.8 习题\r\n 第3章 基础结论\r\n 3.1 一般性的问题\r\n 3.2 基本结果\r\n 3.3 Take-Grant保护模型\r\n 3.4 缩小差距\r\n 3.5 表达能力和模型\r\n 3.6 本章小结\r\n 3.7 研究议题\r\n 3.8 进阶阅读\r\n 3.9 习题\r\n第三部分 策略\r\n 第4章 安全策略\r\n……\r\n 第5章 保密性策略\r\n 第6章 完整性策略\r\n 第7章 混合策略\r\n 第8章 不干涉属性与策略复合\r\n第四部分 实现I:密码学\r\n 第9章 密码学基础\r\n 第10章 密钥管理\r\n 第11章 密码技术\r\n 第12章 认证\r\n第五部分 实现II:系统\r\n 第13章 设计原则\r\n 第14章 身份表达\r\n 第15章 访问控制机制\r\n 第16章 信息流\r\n 第17章 限制问题\r\n第六部分 安全保障\r\n 第18章 安全保障导论\r\n 第19章 构建有安全保障的系统\r\n 第20章 形式化方法\r\n 第21章 系统评估\r\n第七部分 专题\r\n 第22章 恶意代码\r\n 第23章 漏洞分析\r\n 第24章 审计\r\n 第25章 入侵检测\r\n 第26章 网络安全\r\n 第27章 系统安全\r\n 第28章 用户安全\r\n 第29章 程序安全\r\n第九部分 尾章\r\n 第30章 格\r\n 第31章 扩展Euclid算法\r\n 第32章 熵和不确定性\r\n 第33章 虚拟机\r\n 第34章 符号逻辑\r\n 第35章 学院式安全策略实例\r\n参考文献

Matt Bishop,美国加州大学Davis分校计算机科学系教授，他在漏洞分析、安全系统设计、安全软件设计、网络安全、访问控制的形式化模型、用户验证以及UNIX安全等领域都是国际公认的顶尖专粗。Bishop于1984年在美国普渡大学获得博士学位。