NASA软件确保分析和启示.pdfVIP

二〇一〇国防空天信息技术前沿论坛论文集 NASA 软件确保分析与启示 费晓飞 （信息工程大学电子技术学院，河南 郑州 450004 ） 摘 要：软件确保已发展成为信息安全技术的前沿方向之一，美国宇航局（NASA ）对软件确 保的研究工作开展较早，较具代表性。通过从标准、技术、研究项目等方面对 NASA 软件确保如何 通过确保软件的质量、保险性和可靠性，进而确保软件的安全性，进行深入分析，给出了 NASA 软 件确保研究与发展的总体概貌。提出从模型研究入手、以具体技术为突破、开发自动化工具并最终 形成相应标准的自主开展软件确保研究的总体思路。 关键词：软件确保； 软件安全性； 信息安全； 软件工程 中图分类号：O484.4+2 Lessons from NASA software assurance FEI Xiao-fei (Institute of Electronic Technology, the PLA Information Engineering University, Zhengzhou 450004, China) Abstract: Software assurance has been one of the most advanced information security technologies. NASA software assurance began early. After analysis of its standards, technologies and projects, the-state-of-art of NASA software assurance was given. According to the lessons from NASA, a roadmap to develop software assurance was proposed. Key words: Software assurance; Software security; Information security; Software engineering 0 引 言 另外，软件功能不能被直接攻击或植入恶意代码所破 坏。这正是软件确保目前的主要立足点。与软件质量 软件确保（Software Assurance，SwA）的内涵近 保证相比，软件确保主要聚焦于软件的安全性 年来有了较大发展，就像用信息确保来表示信息的可 （security ）、保险性（safety ）、可靠性（reliability ） 确保的安全性一样，软件确保的概念被用来表示软件 和生存性（survivability ），形成了系统工程、软件工 的可确保的安全性。美国国防部下属的信息确保技术 程、信息安全、信息确保等多学科的交叉学科。当前， 分析中心（IATAC ）于2007 年7 月提交了近400 页 软件确保已成为安全的核心，将信息安全向系统和软 的《软件安全性确保研究现状报告》，软件确保已发 件开发过程这一源头推进[2] 。 展成为信息安全技术的前沿方向之一，并且已经上升 在诸多科研机构中，美国宇航局（NASA ）对软 到美国国家安全战略的高度[1] 。 件确保的研究工作开展较早，比较具有代表性。本文 软件确保提供一种合理的确信级别，也就是确信 深入分析 NASA 软件确保的研究现状和主要技术内 根据软件需求，软件执行了正确的、可预期的功能。 容，以紧密跟踪信息安全技术前沿发展，在此基础上 收稿日期：2010-07-18 基金项目：河南省信息安全重点实验室基金资助项目（10ISLB005） 作者简介：费晓飞（1