软件确保研究进展

摘要：

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

关键词：软件确保、脆弱性、安全

所属期刊栏目：30

分类号：TP393(计算技术、计算机技术)

资助基金：国家重点基础研究发展计划"973"计划基金资助项目2007CB311100;国家高技术研究发展计划"863"计划基金资助项目2007AA01Z446

在线出版日期：2009-04-15（万方平台首次上网日期，不代表论文的发表时间）

页数：共12页

页码：106-117