软件安全开发：属性驱动模式

　　在日益严峻的信息安全背景下，软件的安全性已经成为信息安全问题的重中之重。本书针对信息安全领域这一核心问题，站在软件开发过程控制的视角，从系统工程基本理论思想出发，借鉴当前国际先进的软件安全开发的理论和方法，提出安全属性驱动的软件开发方法。全书以软件安全属性为核心，将安全属性贯穿于软件开发生命周期的每一个阶段，通过对软件开发生命周期全过程的安全质量管理和控制，以期减少开发过程中可能产生的各种漏洞，提高软件产品的本质安全性。全书共分为6章，第1章是软件安全开发相关的基本概念，第2章介绍了软件安全开发方法的历史演化进程以及一些典型的软件安全开发模型，第3章基于需求工程原理阐述了软件安全属性需求获取方法，第4章从系统架构角度出发阐述了软件安全架构的设计方法以及相关安全技术，第5章介绍了软件开发编码过程中的安全问题，第6章对于软件安全性测试进行了全面的阐述。本书的特点是既注重系统性和科学性，又注重实用性，系统性地介绍软件开发生命周期全过程的安全质量保证方法，可作为软件开发组织者、系统分析师、软件架构师、软件设计人员、开发人员、测试人员、系统运维人员以及软件相关专业的在校大学生和研究生学习与实践的较好的参考书。

　　2014.8 获得国际注册信息系统审计师（CISA）认证2012.8 获得国际注册信息系统安全专家（CISSP）认证2009-2010 英国牛津大学互联网研究所访问学者

第１章 理解软件安全开发 11.1 信息安全面临的困境 11.2 软件安全基本概念 21.2.1 软件定义 21.2.2 软件安全错误 21.2.3 软件安全的定义 31.3 软件安全属性刻画 41.3.1 保密性 41.3.2 完整性 51.3.3 可用性 51.3.4 认证性 61.3.5 授权 61.3.6 可记账性/审计性 71.3.7 抗抵赖性 71.3.8 可控性 81.3.9 可信性 81.4 信息产品的安全性评估标准 81.5 系统安全工程 91.6 系统安全工程能力成熟度模型 101.7 属性驱动的软件安全开发的基本思想 111.7.1 软件安全开发方法 111.7.2 软件定义安全 111.7.3 属性驱动的软件安全开发方法 141.8 本章小结 14第2章 将安全嵌入软件开发整个生命周期 162.1 系统安全开发方法的进化史 162.2 软件安全开发模型 172.2.1 启发式软件安全开发模型 172.2.2 软件安全生命周期开发模型 182.3 微软的SDL模型 202.3.1 传统的系统开发瀑布模型 202.3.2 软件安全开发生命周期模型SDL 202.3.3 敏捷的SDL 232.3.4 ISO/IEC 27034 252.4 McGraw的软件安全开发模型 262.4.1 McGraw的七个接触点模型BSI 262.4.2 软件安全开发成熟度模型BSIMM 272.5 OWASP的软件安全开发模型 302.5.1 CLASP 302.5.2 SAMM 332.6 NIST的软件安全开发生命周期 342.7 属性驱动的软件安全开发生命周期模型 362.8 本章小结 36第3章 软件安全需求分析 373.1 概述 373.1.1 基本内涵 373.1.2 安全需求的来源 393.1.3 软件安全需求的内容 393.2 核心软件安全需求 403.2.1 保密性需求 403.2.2 完整性需求 423.2.3 可用性需求 433.2.4 认证需求 443.2.5 授权需求 463.2.6 可记账性/审计需求 503.3 通用软件安全需求 513.3.1 安全架构需求 513.3.2 会话管理需求 513.3.3 错误和例外管理需求 523.3.4 配置参数管理需求 523.4 运维安全需求 523.4.1 环境部署需求 533.4.2 归档需求 543.4.3 反盗版需求 543.5 其他安全需求 553.5.1 顺序和时间需求 553.5.2 国际性需求 553.5.3 采购需求 563.6 软件安全需求获取方法 573.6.1 软件安全需求获取的概念 573.6.2 头脑风暴 573.6.3 问卷调查和访谈 583.6.4 策略分解 583.6.5 数据分类 603.6.6 主/客体关系矩阵 623.6.7 使用用例和滥用案例建模 623.7 软件安全需求跟踪矩阵 633.8 本章小结 64第4章 软件安全保障设计 654.1 概述 654.1.1 软件安全设计的概念 654.1.2 软件安全设计的基本原则 654.1.3 平衡安全设计原则 714.2 属性驱动的软件安全设计 724.3 软件安全架构设计 734.3.1 康威定律 734.3.2 软件安全架构的设计方法 744.3.3 攻击面评估 754.3.4 威胁建模 754.3.5 风险分析 824.3.6 软件架构的选择 864.3.7 软件架构的安全考虑 924.3.8 与现有架构的集成 934.4 基于核心安全需求的软件安全设计 944.4.1 保密性设计 944.4.2 完整性设计 994.4.3 可用性设计 1014.4.4 认证设计 1024.4.5 授权设计 1034.4.6 可记账性/审计设计 1034.5 其他安全需求设计 1044.5.1 接口安全设计 1044.5.2 互联互通性 1064.6 软件安全技术 1064.6.1 认证 1064.6.2 身份管理 1074.6.3 凭证管理 1094.6.4 流控制 1124.6.5 防火墙和网络代理 1134.6.6 中间件 1144.6.7 排队基础设施和技术 1144.6.8 日志与审计 1144.6.9 入侵检测系统 1154.6.10 入侵防御系统 1164.6.11 数据丢失保护 1164.6.12 虚拟化 1174.6.13 数字版权管理 1184.6.14 可信计算 1204.6.15 数据库安全 1214.6.16 编程语言环境 1284.6.17 公共语言运行库 1304.6.18 Java虚拟机 1314.6.19 编译器选项 1324.6.20 操作系统安全 1324.6.21 嵌入式系统安全 1334.7 安全架构与设计检查 1344.8 本章小结 135第5章 编写安全的代码 1365.1 概述 1365.1.1 漏洞的基本概念 1365.1.2 漏洞分类 1375.1.3 漏洞产生的原因 1385.1.4 通用软件漏洞数据库 1395.1.5 软件安全编码实践与控制 1415.2 常见软件漏洞类型分析与防御方法 1425.2.1 缓冲区溢出 1425.2.2 注入缺陷 1455.2.3 认证和会话管理 1495.2.4 跨站脚本攻击XSS 1525.2.5 不安全的直接对象引用 1545.2.6 安全配置错误 1565.2.7 敏感数据泄露 1575.2.8 加密机制本身的安全问题 1625.2.9 缺少功能级检查 1635.2.10 跨站请求伪造CSRF 1645.2.11 使用已知漏洞组件 1675.2.12 未经验证的重定向和转发 1675.2.13 文件攻击 1685.2.14 竞争条件 1715.2.15 边信道攻击 1725.3 软件安全编码实践 1745.3.1 输入验证 1745.3.2 标准化 1765.3.3 数据净化 1775.3.4 错误处理 1785.3.5 安全的API 1785.3.6 内存管理 1795.3.7 例外管理 1825.3.8 会话管理 1835.3.9 配置参数管理 1835.3.10 安全启动 1845.3.11 加密机制的安全保护 1845.3.12 并发控制 1865.3.13 标签化 1875.3.14 沙箱 1885.3.15 防篡改技术 1885.4 软件安全编码保证过程 1905.4.1 选择安全的编程语言 1905.4.2 版本（配置）管理 1905.4.3 代码分析 1915.4.4 代码评审 1925.4.5 构建安全的软件编译环境 1945.5 本章小结 195第6章 软件安全测试 1966.1 概述 1966.1.1 软件安全测试的定义和目的 1966.1.2 软件安全测试的基本内涵 1966.1.3 软件安全测试框架 1996.1.4 软件安全测试方法 2006.1.5 从攻击者角度思考 2016.2 软件安全功能测试 2016.2.1 保密性测试 2016.2.2 完整性测试 2026.2.3 可用性测试 2056.2.4 认证性测试 2066.2.5 授权测试 2076.2.6 可记账性/审计测试 2076.3 软件安全漏洞测试 2086.3.1 攻击面验证 2086.3.2 环境测试 2086.3.3 模拟测试 2096.4 其他测试 2106.4.1 性能测试 2106.4.2 可扩展性测试 2116.4.3 隐私测试 2116.5 软件安全功能测试方法 2126.5.1 单元测试 2126.5.2 集成测试 2136.5.3 回归测试 2136.5.4 系统测试 2146.5.5 逻辑测试 2146.5.6 用户接收测试 2156.6 软件安全漏洞测试方法 2166.6.1 源代码测试 2166.6.2 白盒测试 2166.6.3 黑盒测试 2176.6.4 Fuzzing测试 2186.6.5 扫描 2196.6.6 渗透测试 2226.6.7 静态测试 2246.6.8 动态测试 2256.7 几种重要的软件安全漏洞控制测试 2256.7.1 输入验证测试 2256.7.2 缓冲区溢出控制测试 2266.7.3 SQL注入缺陷控制测试 2266.7.4 XSS脚本攻击控制测试 2276.7.5 抗抵赖控制测试 2276.7.6 假冒控制测试 2286.7.7 失效控制测试 2286.7.8 优先权提升控制测试 2286.7.9 抗逆向工程保护测试 2296.7.10 Web应用漏洞测试 2296.8 测试过程模型 2306.8.1 软件安全测试基本过程 2306.8.2 V模型 2316.8.3 W模型 2316.8.4 X模型 2326.8.5 H模型 2326.8.6 前置测试模型 2336.8.7 基于软件开发生命周期的测试 2346.9 测试数据的管理 2366.9.1 漏洞报告和跟踪 2386.9.2 漏洞影响评估与修复 2426.10 常见的软件安全测试工具 2426.11 本章小结 242附录A 软件安全开发生命周期模型 243附录B 常见的HTTP状态代码和原因解释 245附录C 用于输入验证的正则表达式语法 247附录D 常用软件测试工具 249参考文献 251