一种基于Markov的装备软件安全性量化方法

• 作者: 李海林 郭建星 马军强
• 来源期刊: 信息工程大学学报
• 学科: 工学
• 关键词: 软件安全性 马尔可夫模型 综合属性 量化方法
• 年，卷（期）: 2017,（6）
• 所属期刊栏目: 计算机技术与应用
• 页码范围: 726-730,735
• 页数: 6页
• 分类号: TP309
• 字数: 4811字
• 语种: 中文
• DOI: 10.3969/j.issn.1671-0673.2017.06.018

摘要

装备软件安全性评测实践中,迫切需要一种合理有效可量化的评测模型指导装备软件评测工作.基于状态的随机模型方法,可以对装备软件进行更细节化的描述,明确软件系统在安全功能失效或安全威胁情况下的各种状态分布和状态之间的转移关系.综合信息系统安全风险评估和网络安全态势评估方法的优点,基于安全状态和随机模型理论,构建了装备软件构件安全状态转移模型,将马尔可夫模型和安全状态转移概率应用于安全性量化方法研究中,引入构件的失效率、运行频率、安全覆盖率等定义与计算方法,提出运行安全度、失效安全度、有效安全度和稳态安全度等综合属性的量化计算公式,并设计了上述综合属性的量化算法.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李海林		6	28	3.0	5.0
2	马军强		2	1	1.0	1.0
3	郭建星		25	309	10.0	17.0