基于系统理论过程分析的软件安全性需求分析与验证方法.docxVIP

基于系统理论过程分析的软件安全性需求分析与验证方法 0 引言 随着计算机软件技术的发展，现代复杂系统逐渐由机械、电子密集型向软件密集型转变，与之相关的软件安全性问题也日益凸显。大量涉及软件的系统事故表明，从系统层面探究安全关键系统的安全性问题机理，结合系统功能自动生成软件安全性需求，并设计合理的软件安全性验证方法已成为迫切需要解决的问题。目前，安全性分析普遍采用的故障树分析（Fault Tree Analysis，FTA）、故障模式影响及危害性分析（Failure Mode and Effects Analysis，FMEA）等传统分析方法都是基于事件链的事故致因模型。这些方法依然从硬件失效的