杭州电子科技大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

嵌入式软件安全保证技术/王崑声 ... [等] 编著

出版发行项:

北京:国防工业出版社,2015

ISBN及定价:

978-7-118-10579-7/CNY68.00

载体形态项:

xx, 170页:图;24cm

并列正题名:

Embedded software safety assurance techniques

丛编项:

网络与信息安全前沿技术丛书

个人责任者:

王崑声 编著

学科主题:

微型计算机-系统开发-安全技术

中图法分类号:

TP360.21

一般附注:

国防科技图书出版基金

书目附注:

有书目

提要文摘附注:

本书内容主要包括：嵌入式软件安全性概念及发展现状、安全性保证体系框架、安全需求分析技术、安全性分析设计与验证、安全编程要求、代码的安全性分析验证、软件安全性测试技术以及安全性保证技术的展望。

豆瓣简介：