软件确保研究进展

方滨兴; 陆天波; 李超

您当前的位置：

首页 >

文章列表页 >

软件确保研究进展

综述 | 更新时间：2024-10-14

- 软件确保研究进展
- Survey of software assurance
- 通信学报 2009年30卷第2期页码：106-117
- 作者机构：
  
  1. 中国科学院计算技术研究所
  2. 国家计算机网络应急技术处理协调中心
  3. 中国科学院研究生院
- 作者简介：
- 基金信息：
  
  国家重点基础研究发展计划(“973”计划)基金资助项目(2007CB311100);国家高技术研究发展计划(“863”计划)基金资助项目(2007AA01Z446)~~
- DOI：
  中图分类号： TP31;TP393.08
- 纸质出版：2009
- 稿件说明：
移动端阅览
方滨兴, 陆天波, 李超. 软件确保研究进展[J]. 通信学报, 2009,30(2):106-117.

FANG Bin-xing1, LU Tian-bo2, LI Chao1. Survey of software assurance[J]. 2009, 30(2): 106-117.
方滨兴, 陆天波, 李超. 软件确保研究进展[J]. 通信学报, 2009,30(2):106-117. DOI：

FANG Bin-xing1, LU Tian-bo2, LI Chao1. Survey of software assurance[J]. 2009, 30(2): 106-117. DOI：

摘要

对软件确保的概念进行了介绍

指出软件确保主要聚焦于软件的安全性(security)、保险性(safety)、可靠性(reliability)和生存性(survivability)

并以此为基础

提出了S3R软件确保模型

然后在战略层面上讨论了软件确保的发展过程

重点阐述了美国国土安全部、美国国防部、美国宇航局的软件确保计划;在技术层面上探讨了确保软件S3R性质的相关技术进展

阐述了正在制定中的软件确保标准。最后指出了软件确保的发展趋势。

Abstract

Firstly

various definitions of software assurance were discussed

the key properties of software assurance were summarized

and the software assurance model S3R（security

safety

reliability

survivability） was proposed to describe the discipline of software assurance.Then

the software assurance programs of DHS

DOD and NASA were highly in-troduced as well as S3R development.Finally

the software assurance standards-setting was specified and the develop-ment trends of software assurance research were pointed.

关键词

Keywords

references

浏览量

1041

下载量

CSCD

文章被引用时，请邮件提醒。

提交

工具集

关联资源

基于区块链预言机的安全高效电力数据共享平台构建方法

全栈信创电子邮件系统实践

基于审计博弈的安全协作频谱感知方案

共生网络——异构网络安全高效互联的体系结构与机理

物联网安全研究综述：威胁、检测与防御