文献类型：期刊文章

作　　者：樊晓光[1] 褚文奎[1,2] 张凤鸣[1]

机构地区：[1]空军工程大学工程学院 [2]94795部队

出　　处：《计算机科学》

基　　金：总装备部国防预研基金项目(9140A17020307JB3201);空军工程大学工程学院优秀博士学位论文创新基金(BC07003)资助

年　　份：2011

卷　　号：38

期　　号：5

起止页码：8-13

语　　种：中文

收录情况：BDHX、BDHX2008、CSA、CSCD、CSCD2011_2012、IC、JST、RCCSE、UPD、ZGKJHX、核心刊

摘　　要：软件是安全性关键的软件密集型系统(比如综合航电系统)的一个重要安全因子,软件安全性已逐渐成为软件工程和安全工程交叉领域的研究热点之一。对软件安全性的内涵与外延进行了剖析,给出了软件安全性定义。讨论了软件安全性的度量模型。着重从软件工程的视角对软件安全性的开发过程、设计方案、评估方法与认证技术等现状进行了综述,并探讨了软件安全性的研究方向。

关 键 词：安全因子  软件安全性  软件工程 安全工程 系统工程  安全性关键系统  综合航电

分 类 号：TP311.5] N945[计算机类]