图书介绍
嵌入式软件安全保证技术PDF|Epub|txt|kindle电子书版本网盘下载
- 王崑声等编著 著
- 出版社： 北京：国防工业出版社
- ISBN：9787118105797
- 出版时间：2015
- 标注页数：170页
- 文件大小：72MB
- 文件页数：190页
- 主题词：微型计算机－系统开发－安全技术
PDF下载
下载说明
嵌入式软件安全保证技术PDF格式电子书版下载
下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！
（文件页数 要大于 标注页数，上中下等多册电子书除外）
注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具
图书目录
第1章 绪论1
1.1 嵌入式软件的特征1
1.1.1 嵌入式计算机控制系统1
1.1.2 嵌入式软件的特征分析2
1.2 软件安全性的概念3
1.2.1 软件失效安全性的概念3
1.2.2 软件安全性与系统安全性之间的关系4
1.2.3 软件安全性保证的定义5
1.3 安全关键嵌入式软件保证技术现状及问题6
1.3.1 现有嵌入式软件安全性问题案例分析6
1.3.2 嵌入式软件安全性特征分析11
1.3.3 嵌入式软件安全性保证技术发展现状12
1.4 小结22
参考文献22
第2章 安全关键嵌入式软件开发过程保证体系23
2.1 嵌入式软件安全保证工程23
2.2 安全关键嵌入式软件安全性保证体系25
2.2.1 体系构建25
2.2.2 体系框架剪裁方法29
2.2.3 嵌入式软件开发过程一致性追踪31
2.2.4 基于工程实践的安全关键软件检查模型33
2.3 小结34
参考文献35
第3章 安全关键嵌入式软件需求分析36
3.1 软件需求分析的定义及嵌入式软件需求分析36
3.2 嵌入式软件安全需求工程42
3.2.1 嵌入式软件安全需求分析的必要性43
3.2.2 软件安全需求工程46
3.2.3 软件安全性需求提取48
3.3 嵌入式软件安全需求分析技术51
3.3.1 软件安全性需求BDA分析技术53
3.3.2 软件需求分析的形式化分析技术57
3.3.3 软件需求中的一致性追踪63
3.3.4 软件需求检查单64
3.4 小结65
参考文献66
第4章 安全关键软件设计分析67
4.1 软件安全性分析设计68
4.1.1 软件安全性设计原则68
4.1.2 软件体系结构的安全性设计69
4.1.3 软件安全关键部件／模块／单元的设计74
4.1.4 软件容错和容失效的安全性设计77
4.1.5 软件安全性设计的其他考虑80
4.2 软件设计产品的安全性分析验证83
4.2.1 设计产品的安全性分析验证84
4.2.2 软件需求安全性分析的更新88
4.2.3 软件需求设计的一致性追踪分析88
4.2.4 软件设计变更的安全性分析89
4.3 小结90
参考文献90
第5章 安全关键软件的实现91
5.1 软件实现的安全编程要求92
5.1.1 编程语言92
5.1.2 编程方法93
5.1.3 编码规范93
5.1.4 代码复杂性控制99
5.1.5 代码效率保证99
5.2 代码的安全性分析验证100
5.2.1 静态分析100
5.2.2 单元测试102
5.2.3 代码审查104
5.2.4 形式化分析105
5.2.5 FTA与FMEA分析105
5.2.6 与设计的一致性追踪分析105
5.2.7 代码变更的安全性分析106
5.2.8 运行时错误分析106
5.3 小结108
参考文献108
第6章 安全关键嵌入式软件测试109
6.1 安全关键嵌入式软件安全性测试流程110
6.1.1 安全关键嵌入式软件测试的特点110
6.1.2 软件安全性测试过程111
6.1.3 安全性测试要求114
6.2 安全关键嵌入式软件安全性测试技术120
6.2.1 软件故障注入技术与工具121
6.2.2 软件运行时错误检测技术与工具124
6.2.3 软件逆向分析技术与工具130
6.2.4 基于数据流分析的测试用例生成技术与工具134
6.3 小结135
参考文献136
第7章 技术发展展望137
7.1 可信软件需求分析技术发展展望137
7.2 安全关键软件设计分析技术展望138
7.3 安全关键软件实现技术展望139
7.4 安全测试技术发展展望139
参考文献141
附录142
A1 安全关键软件检查模型142
A1.1 嵌入式软件工程化检查模型142
A1.2 嵌入式软件测试检查模型145
A1.3 嵌入式软件安全性专项检查模型146
A1.4 FPGA安全开发检查模型149
A2 软件安全需求明细的确定155
A2.1 设计与开发过程的需求155
A2.2 系统设计需求155
A2.3 计算系统环境需求159
A2.4 自检设计需求160
A2.5 安全关键计算系统功能保护需求160
A2.6 接口设计需求161
A2.7 用户界面162
A2.8 关键性定时和中断功能163
A2.9 软件设计与开发需求164
A2.10 软件维护需求166
A2.11 软件分析与测试167
A2.12 特殊软件安全需求168