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