一种基于 AADL 错误模型的软件安全性分析技术研究

• 作者: 屈华敏 张涛 成静 朱怡安 江叶春 罗文波
• 来源期刊: 西北工业大学学报
• 学科: 工学
• 关键词: AADL模型 错误模型 软件安全性 马尔科夫链
• 年，卷（期）: 2014,（6）
• 页码范围: 1007-1010
• 页数: 4页
• 分类号: TP311
• 字数: 2677字
• 语种: 中文

摘要

针对软件安全性问题，提出一种新的软件安全性分析方法。首先探索将软件组件AADL错误模型转化为马尔科夫链模型，计算组件处于不同危害级别状态概率，分析组件安全性。并且进一步，根据AADL错误模型组合实现定义，由其内部组件安全状态概率计算分析软件系统的安全性，避免状态爆炸问题。最后，以飞控系统软件为例，对算法进行实例验证。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张涛	西北工业大学软件与微电子学院	60	290	8.0	14.0
2	朱怡安	西北工业大学计算机学院	92	538	10.0	19.0
3	成静	西北工业大学计算机学院	15	71	6.0	8.0
7	屈华敏	西北工业大学软件与微电子学院	1	2	1.0	1.0
8	罗文波	西北工业大学软件与微电子学院	2	4	2.0	2.0
9	江叶春	西北工业大学软件与微电子学院	1	2	1.0	1.0