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

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