基于扩展故障树的系统脆弱性分析

摘要

文章首先对经典故障树及其语义进行了形式化描述和定义.给出了一个基于故障树最小割集和最小路集的系统安全逻辑模型.在此基础上,为方便准确地描述系统入侵过程中不同的主体和主体之间的交互关系,文章对经典故障树的形式化语义进行了扩展.通过引入信任、上下文关系和时序等逻辑语义,给出了扩展故障树的形式化定义,并对扩展故障树的语法和语义的一致性进行了描述.最后,通过利用扩展故障树对一个系统入侵案例的形式化建模分析,验证了有关结论并指出了进一步的研究方向.