NASA软件确保分析与启示

摘要

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

著录项

相似文献

  • 中文文献
  • 外文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号