书目信息 |
题名: |
嵌入式软件安全保证技术
|
|
作者: | 王崑声 编著 | |
分册: | ||
出版信息: | 北京 国防工业出版社 2015 |
|
页数: | 20,170页 | |
开本: | 24cm | |
丛书名: | 网络与信息安全前沿技术丛书 | |
单 册: | ||
中图分类: | TP360.21 , TP311.522 | |
科图分类: | ||
主题词: | 软件--系统开发--安全技术 | |
电子资源: | ||
ISBN: | 978-7-118-10579-7 |
000 | 01121nam0 2200277 450 | |
001 | 1778234583 | |
005 | 20170420095711.80 | |
010 | @a978-7-118-10579-7@dCNY68.00 | |
100 | @a20170418d2015 em y0chiy50 ea | |
101 | 0 | @achi@eeng |
102 | @aCN@b110000 | |
105 | @ay z 000yy | |
200 | 1 | @a嵌入式软件安全保证技术@9qian ru shi ruan jian an quan bao zheng ji shu@dEmbedded software safety assurance techniques@f王崑声[等]编著@zeng |
210 | @a北京@c国防工业出版社@d2015 | |
215 | @a20,170页@d24cm | |
225 | 1 | @a网络与信息安全前沿技术丛书 |
300 | @a国防科技图书出版基金 | |
304 | @a编著者还有:经小川、李宁、张伟、詹海潭、王潇茵 | |
330 | @a本书内容包括嵌入式软件安全性概念及发展现状、安全性保证体系框架、安全需求分析技术、安全性分析设计与验证、安全编程要求、代码的安全性分析验证、软件安全性测试技术及安全性保证技术的展望。 | |
510 | 1 | @aEmbedded software safety assurance techniques@zeng |
606 | 0 | @a软件@x系统开发@x安全技术 |
690 | @aTP360.21@v5 | |
690 | @aTP311.522@v4 | |
701 | 0 | @a王崑声@9wang kun sheng@c(航天)@4编著 |
801 | 0 | @aCN@b郑州日成@c20170418 |
905 | @aZUCC@dTP311.522@e3 | |
嵌入式软件安全保证技术=Embedded software safety assurance techniques/王崑声[等]编著.-北京:国防工业出版社,2015 |
20,170页;24cm.-(网络与信息安全前沿技术丛书) |
国防科技图书出版基金 |
ISBN 978-7-118-10579-7:CNY68.00 |
本书内容包括嵌入式软件安全性概念及发展现状、安全性保证体系框架、安全需求分析技术、安全性分析设计与验证、安全编程要求、代码的安全性分析验证、软件安全性测试技术及安全性保证技术的展望。 |
● |
相关链接 |
正题名:嵌入式软件安全保证技术
索取号:TP311.522/3
 
预约/预借
序号 | 登录号 | 条形码 | 馆藏地/架位号 | 状态 | 备注 |
1 | 1682271 | 216822712 | 信息技术学院资料室/ [索取号:TP311.522/3] | 在馆 |