一种安全性关键软件的评估模型

• 作者: 姜梦霞 江国华
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 安全性关键软件 软件交互行为模型 交互模式依赖图 安全性评估模型 软件过程行为
• 年，卷（期）: 2015,（10）
• 所属期刊栏目: 安全技术
• 页码范围: 130-138,143
• 页数: 10页
• 分类号: TP311
• 字数: 8103字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2015.10.025

摘要

安全性关键软件影响生命财产安全,必须有定量评估模型来反映此类软件的安全性.传统安全性定量评估通过改进可靠性模型并将软件看作整体评估,而未探究软件失效本质,不能很好地评估软件行为安全性.为此,基于软件失效本质及对安全性关键场景的研究,提出软件交互行为模型,给出从各软件运行条件的关系中构造交互模式依赖图的方法,设计基于软件过程行为的安全性评估模型.实例分析表明,该模型能识别出所有软件过程行为及其发生率、失效率,为每个过程行为赋予风险指数,并计算得到整体的软件风险指数.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	江国华	南京航空航天大学计算机科学与技术学院	29	79	5.0	6.0
2	姜梦霞	南京航空航天大学计算机科学与技术学院	1	2	1.0	1.0