软件确保研究进展

• 作者: 方滨兴 李超 陆天波
• 来源期刊: 通信学报
• 学科: 工学
• 关键词: 软件确保 脆弱性 安全
• 年，卷（期）: 2009,（2）
• 所属期刊栏目: 综述
• 页码范围: 106-117
• 页数: 12页
• 分类号: TP393
• 字数: 11440字
• 语种: 中文
• DOI: 10.3321/j.issn:1000-436X.2009.02.017

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	方滨兴	中国科学院计算技术研究所	45	1371	19.0	36.0
2	陆天波		7	108	6.0	7.0