软件确保研究进展

被引：17

作者：

方滨兴 ^{[1
]}

陆天波 ^{[2
]}

李超 ^{[1
,3
]}

机构：

[1] 中国科学院计算技术研究所

[2] 国家计算机网络应急技术处理协调中心

[3] 中国科学院研究生院

来源：

通信学报 | 2009年 / 30卷 / 02期

关键词：

软件确保; 脆弱性; 安全;

D O I：

暂无

中图分类号：

TP393.08 []; TP31 [计算机软件];

学科分类号：

081205 [计算机软件];

摘要：

对软件确保的概念进行了介绍,指出软件确保主要聚焦于软件的安全性(security)、保险性(safety)、可靠性(reliability)和生存性(survivability),并以此为基础,提出了S3R软件确保模型,然后在战略层面上讨论了软件确保的发展过程,重点阐述了美国国土安全部、美国国防部、美国宇航局的软件确保计划;在技术层面上探讨了确保软件S3R性质的相关技术进展,阐述了正在制定中的软件确保标准。最后指出了软件确保的发展趋势。

引用

页码：106 / 117

页数：12

共 3 条

[1]

Eliciting security requirements with misuse cases [J].