![嵌入式软件安全保证技术](https://cover.qianqiantushu.cc/100/s65af023.jpg)
![嵌入式软件安全保证技术](https://cover.qianqiantushu.cc/100/s65af023.jpg)
嵌入式软件安全保证技术PDF电子书下载
- 电子书积分:9 积分如何计算积分?
- 作 者:王崑声等编著
- 出 版 社:北京:国防工业出版社
- 出版年份:2015
- ISBN:9787118105797
- 页数:170 页
第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
- 《钒产业技术及应用》高峰,彭清静,华骏主编 2019
- 《现代水泥技术发展与应用论文集》天津水泥工业设计研究院有限公司编 2019
- 《异质性条件下技术创新最优市场结构研究 以中国高技术产业为例》千慧雄 2019
- 《Prometheus技术秘笈》百里燊 2019
- 《中央财政支持提升专业服务产业发展能力项目水利工程专业课程建设成果 设施农业工程技术》赵英编 2018
- 《药剂学实验操作技术》刘芳,高森主编 2019
- 《林下养蜂技术》罗文华,黄勇,刘佳霖主编 2017
- 《脱硝运行技术1000问》朱国宇编 2019
- 《催化剂制备过程技术》韩勇责任编辑;(中国)张继光 2019
- 《信息系统安全技术管理策略 信息安全经济学视角》赵柳榕著 2020
- 《市政工程基础》杨岚编著 2009
- 《家畜百宝 猪、牛、羊、鸡的综合利用》山西省商业厅组织技术处编著 1959
- 《《道德经》200句》崇贤书院编著 2018
- 《高级英语阅读与听说教程》刘秀梅编著 2019
- 《计算机网络与通信基础》谢雨飞,田启川编著 2019
- 《看图自学吉他弹唱教程》陈飞编著 2019
- 《法语词汇认知联想记忆法》刘莲编著 2020
- 《培智学校义务教育实验教科书教师教学用书 生活适应 二年级 上》人民教育出版社,课程教材研究所,特殊教育课程教材研究中心编著 2019
- 《国家社科基金项目申报规范 技巧与案例 第3版 2020》文传浩,夏宇编著 2019
- 《流体力学》张扬军,彭杰,诸葛伟林编著 2019
- 《指向核心素养 北京十一学校名师教学设计 英语 七年级 上 配人教版》周志英总主编 2019
- 《北京生态环境保护》《北京环境保护丛书》编委会编著 2018
- 《指向核心素养 北京十一学校名师教学设计 英语 九年级 上 配人教版》周志英总主编 2019
- 《抗战三部曲 国防诗歌集》蒲风著 1937
- 《高等院校旅游专业系列教材 旅游企业岗位培训系列教材 新编北京导游英语》杨昆,鄢莉,谭明华 2019
- 《中国十大出版家》王震,贺越明著 1991
- 《近代民营出版机构的英语函授教育 以“商务、中华、开明”函授学校为个案 1915年-1946年版》丁伟 2017
- 《新工业时代 世界级工业家张毓强和他的“新石头记”》秦朔 2019
- 《智能制造高技能人才培养规划丛书 ABB工业机器人虚拟仿真教程》(中国)工控帮教研组 2019
- 《陶瓷工业节能减排技术丛书 陶瓷工业节能减排与污染综合治理》罗民华著 2017