嵌入式软件安全保证技术

内容简介

[

本书主要面向工业领域嵌入式软件的研发人员和质量保证人员，以指导其开发出安全性较高的嵌入式软件。本书主要包括以下七部分内容：绪论。分析软件安全性的定义，发展现状及现有嵌入式软件安全性保证技术存在的问题。安全关键嵌入式软件开发过程保证体系。 安全关键嵌入式软件需求分析。 安全关键嵌入式软件设计分析。 安全关键嵌入式软件实现。 安全关键嵌入式软件测试。 技术发展的展望。

]

目录

第1章绪论1.1嵌入式软件的特征1.1.1嵌入式计算机控制系统1.1.2嵌入式软件的特征分析1.2软件安全性的概念1.2.1软件失效安全性的概念1.2.2软件安全性与系统安全性之间的关系1.2.3软件安全性保证的定义1.3安全关键嵌入式软件保证技术现状及问题1.3.1现有嵌入式软件安全性问题案例分析1.3.2嵌入式软件安全性特征分析1.3.3嵌入式软件安全性保证技术发展现状1.4小结参考文献第2章安全关键嵌入式软件开发过程保证体系2.1嵌入式软件安全保证工程2.2安全关键嵌入式软件安全性保证体系2.2.1体系构建2.2.2体系框架剪裁方法2.2.3嵌入式软件开发过程一致性追踪2.2.4基于工程实践的安全关键软件检查模型2.3小结参考文献第3章安全关键嵌入式软件需求分析3.1软件需求分析的定义及嵌入式软件需求分析3.2嵌入式软件安全需求工程3.2.1嵌入式软件安全需求分析的必要性3.2.2软件安全需求工程3.2.3软件安全性需求提取3.3嵌入式软件安全需求分析技术3.3.1软件安全性需求BDA分析技术3.3.2软件需求分析的形式化分析技术.3.3.3软件需求中的一致性追踪3.3.4软件需求检查单3.4小结参考文献第4章安全关键软件设计分析4.1软件安全性分析设计4.1.1软件安全性设计原则4.1.2软件体系结构的安全性设计4.1.3软件安全关键部件／模块／单元的设计4.1.4软件容错和容失效的安全性设计4.1.5软件安全性设计的其他考虑4.2软件设计产品的安全性分析验证4.2.1设计产品的安全性分析验证4.2.2软件需求安全性分析的更新4.2.3软件需求设计的一致性追踪分析4.2.4软件设计变更的安全性分析4.3小结参考文献第5章安全关键软件的实现5.1软件实现的安全编程要求5.1.1编程语言5.1.2编程方法5.1.3编码规范5.1.4代码复杂性控制5.1.5代码效率保证5.2代码的安全性分析验证5.2.1静态分析5.2.2单元测试5.2.3代码审查5.2.4形式化分析5.2.5FTA与FMEA分析5.2.6与设计的一致性追踪分析5.2.7代码变更的安全性分析5.2.8运行时错误分析5.3小结参考文献第6章安全关键嵌入式软件测试6.1安全关键嵌入式软件安全性测试流程6.1.1安全关键嵌入式软件测试的特点6.1.2软件安全性测试过程6.1.3安全性测试要求6.2安全关键嵌入式软件安全性测试技术6.2.1软件故障注入技术与工具6.2.2软件运行时错误检测技术与工具6.2.3软件逆向分析技术与工具6.2.4基于数据流分析的测试用例生成技术与工具6.3小结参考文献第7章技术发展展望7.1可信软件需求分析技术发展展望7.2安全关键软件设计分析技术展望7.3安全关键软件实现技术展望7.4.安全测试技术发展展望参考文献附录A1安全关键软件检查模型A1.1嵌入式软件工程化检查模型A1.2嵌入式软件测试检查模型A1.3嵌入式软件安全性专项检查模型A1.4FPGA安全开发检查模型A2软件安全需求明细的确定A2.1设计与开发过程的需求A2.2系统设计需求A2.3计算系统环境需求A2.4自检设计需求A2.5安全关键计算系统功能保护需求A2.6接口设计需求A2.7用户界面A2.8关键性定时和中断功能A2.9软件设计与开发需求A2.10软件维护需求A2.11软件分析与测试A2.12特殊软件安全需求

封面

书名:嵌入式软件安全保证技术

作者:王崑声

页数:170

定价:¥68.0

出版社:国防工业出版社

出版日期:2015-12-01

ISBN:9787118105797

PDF电子书大小:124MB 高清扫描完整版