NASA软件确保分析与启示

摘要：

软件确保已发展成为信息安全技术的前沿方向之一,美国宇航局(NASA)对软件确保的研究工作开展较早,较具代表性。本文通过从标准、技术、研究项目等方面对NASA软件确保如何通过确保软件的质量、保险性和可靠性,进而确保软件的安全性,进行深入分析,给出了NASA软件确保研究与发展的总体概貌，提出从模型研究入手、以具体技术为突破、开发自动化工具并最终形成相应标准的自主开展软件确保研究的总体思路。

关键词： 软件确保 软件安全性 信息安全 美国宇航局

作者: 费晓飞

作者单位: 信息工程大学电子技术学院,河南郑州,450004

会议类型: 国内会议

会议名称: 2010国防空天信息技术前沿论坛

会议地点: 西安

会议语种:中文

页码: 1-5

在线出版日期: 2010-10-23（万方平台首次上网日期，不代表论文的发表时间）