基于系统多维要素的安全关键软件验证方法

• 作者: 刘小鲲 吕小虎 宫江雷 王志杰 韩笑冬
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 安全关键软件 多维要素 约束集 验证集
• 年，卷（期）: 2019,（9）
• 所属期刊栏目: 信息安全
• 页码范围: 156-161
• 页数: 6页
• 分类号: TP311.52
• 字数: 6769字
• 语种: 中文
• DOI: 10.11896/j.issn.1002-137X.2019.09.022

摘要

软件密集型系统已成为发展的必然趋势.安全关键软件功能的比重持续上升,与之相关的安全性问题也日益凸显,且问题的影响因素呈现复杂、多维、动态、隐蔽等特征.因此,寻求合理的验证方法成为了迫切需要,而如何对其进行有效验证,也成为软件安全性工作的难点.结合安全关键软件的研制工作,文中研究并提出基于系统多维要素的安全关键软件验证方法,从系统的角度建模对影响软件安全性的多维危险要素;在此基础上,通过构建安全关键软件的需求约束集和验证集,给出具体的验证方法和步骤.实际应用表明,与传统的局限于软件逻辑自身的验证方法相比,文中所提方法能够有效识别大量软件潜在的深层次的问题.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	韩笑冬	中国空间技术研究院通信卫星事业部	20	21	3.0	4.0
2	宫江雷	中国空间技术研究院通信卫星事业部	4	0	0.0	0.0
3	刘小鲲	中国空间技术研究院通信卫星事业部	3	3	1.0	1.0
4	吕小虎	中国空间技术研究院通信卫星事业部	3	9	2.0	3.0
5	王志杰	中国空间技术研究院通信卫星事业部	3	4	1.0	2.0