嵌入式软件安全保证技术

作者：王崑声等编著

出版社： 国防工业出版社

CIP号：2015284737

书号：978-7-118-10579-7

出版地：北京

出版时间：2015.12

定价：￥68.0

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