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