安全关键软件中复用冗余代码的安全分析策略

• 作者: 梁霄
• 来源期刊: 网络安全技术与应用
• 学科: 工学
• 关键词: 功能安全 软件 安全关键系统 安全分析 复用
• 年，卷（期）: 2015,（7）
• 所属期刊栏目: 网络·安全
• 页码范围: 11-12
• 页数: 2页
• 分类号: TP302.7
• 字数: 3660字
• 语种: 中文

摘要

安全关键软件需考虑其复用冗余部分对软件系统性失效的防范能力.现代安全关键软件的大规模和高复杂度,提高了针对此部分进行代码安全分析的难度.本文通过对复用冗余代码的作用方式进行建模,在此基础上应用系统化的安全分析方法,导出复用冗余代码的安全分析策略和分析过程,为系统开发人员和分析人员进行有针对性的安全分析提供了方法参考.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	梁霄		4	4	2.0	2.0