网络与信息安全前沿技术丛书：嵌入式软件安全保证技术  Embedded Software Safety Assurance Techniques

商品介绍：

　　目前，我国工业生产、国防军工等领域大力推进信息化、智能化建设，嵌入式软件作为实现系统智能控制的核心产品，其规模和复杂度不断增长，软件的潜在风险也不断增多。如何保证软件的安全性，避免出现系统故障甚至重大安全事故，是我们急需解决的问题。
　　《网络与信息安全前沿技术丛书：嵌入式软件安全保证技术》基于航天领域一系列重要型号软件安全性保证的应用经验，总结提炼出一套成体系、可剪裁的安全保证技术，书中所介绍的嵌入式软件安全保证技术体系已在我国国防领域开展应用并得到推广。