基于扩展故障树的系统脆弱性分析
文章首先对经典故障树及其语义进行了形式化描述和定义.给出了一个基于故障树最小割集和最小路集的系统安全逻辑模型.在此基础上,为方便准确地描述系统入侵过程中不同的主体和主体之间的交互关系,文章对经典故障树的形式化语义进行了扩展.通过引入信任、上下文关系和时序等逻辑语义,给出了扩展故障树的形式化定义,并对扩展故障树的语法和语义的一致性进行了描述.最后,通过利用扩展故障树对一个系统入侵案例的形式化建模分析,验证了有关结论并指出了进一步的研究方向.
故障树 脆弱性 时序逻辑 一致性 安全约束集
蒋屹新 林闯 尹浩 张谦
清华大学计算机科学与技术系(北京)
国内会议
北京
中文
386-392
2003-11-01（万方平台首次上网日期，不代表论文的发表时间）