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

一种基于Markov的装备软件安全性量化方法
李海林;马军强;郭建星
【期刊名称】《信息工程大学学报》
【年(卷),期】2017(018)006
【摘要】装备软件安全性评测实践中,迫切需要一种合理有效可量化的评测模型指导装备软件评测工作.基于状态的随机模型方法,可以对装备软件进行更细节化的描述,明确软件系统在安全功能失效或安全威胁情况下的各种状态分布和状态之间的转移关系.综合信息系统安全风险评估和网络安全态势评估方法的优点,基于安全状态和随机模型理论,构建了装备软件构件安全状态转移模型,将马尔可夫模型和安全状态转移概率应用于安全性量化方法研究中,引入构件的失效率、运行频率、安全覆盖率等定义与计算方法,提出运行安全度、失效安全度、有效安全度和稳态安全度等综合属性的量化计算公式,并设计了上述综合属性的量化算法.
【总页数】6页(P726-730,735)
【作者】李海林;马军强;郭建星
【作者单位】信息工程大学,河南郑州450001;信息工程大学,河南郑州450001;信息工程大学,河南郑州450001
【正文语种】中文
【中图分类】TP309
【相关文献】
1.一种基于 AADL 错误模型的软件安全性分析技术研究 [J], 成静;朱怡安;屈华敏;罗文波;江叶春;张涛
2.一种基于STPA的软件安全性分析与验证方法 [J], 让涛
3.一种基于JM模型的软件安全性测试方法研究 [J], 李娟;陈斌
4.一种基于威胁模型的软件安全性测试需求框架研究 [J], 徐莺;辜彬;冯亚玲
5.云制造环境下基于离散Markov跳变系统的机床装备资源动态优选方法 [J], 李孝斌;方志伟;尹超
因版权原因，仅展示原文概要，查看原文内容请购买。