软件安全性研究综述

被引：68

作者：

樊晓光 ^{[1
]}

褚文奎 ^{[1
,2
]}

张凤鸣 ^{[1
]}

机构：

[1] 空军工程大学工程学院

[2] 部队

来源：

计算机科学 | 2011年 / 38卷 / 05期

关键词：

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

D O I：

暂无

中图分类号：

TP311.52 [];

学科分类号：

摘要：

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

引用

页码：8 / 13+27 +27

页数：7

共 11 条

[1]

An Approach to Modeling Software Safety in Safety-Critical Systems.[J].Ben S. Medikonda;Seetha R. Panchumarthy.Journal of Computer Science.2009, 4

[2]

Towards integrated safety analysis and design.[J].P. Fenelon;J. A. McDermid;M. Nicolson;D. J. Pumfrey.ACM SIGAPP Applied Computing Review.1994, 1

[3]

SOFTWARE SAFETY - WHY, WHAT, AND HOW [J].