【摘 要】
：
文章首先对经典故障树及其语义进行了形式化描述和定义.给出了一个基于故障树最小割集和最小路集的系统安全逻辑模型.在此基础上,为方便准确地描述系统入侵过程中不同的主体
【机 构】
：
清华大学计算机科学与技术系(北京)
论文部分内容阅读
文章首先对经典故障树及其语义进行了形式化描述和定义.给出了一个基于故障树最小割集和最小路集的系统安全逻辑模型.在此基础上,为方便准确地描述系统入侵过程中不同的主体和主体之间的交互关系,文章对经典故障树的形式化语义进行了扩展.通过引入信任、上下文关系和时序等逻辑语义,给出了扩展故障树的形式化定义,并对扩展故障树的语法和语义的一致性进行了描述.最后,通过利用扩展故障树对一个系统入侵案例的形式化建模分析,验证了有关结论并指出了进一步的研究方向.
其他文献
基于声音空间变换、小波融合、独立成分分析(ICA)以及数字细菌等技术,提出一种保护立体声音乐产品的知识产权的新方法.将水印数据同时嵌入到两道声音的小波系数中,提取水印时
目的分析黟县医疗机构2001和2003年消毒效果监测情况,找出消毒工作中存在的问题,为预防和控制医源性感染提供依据。方法按《消毒和灭菌评价方法及标准》和《医院消毒卫生标准
程序行为控制作为一种主动的异常入侵检测技术,是通过对程序行为建模,在程序运行时监控其行为是否违反正常行为模型来判断入侵.本文设计实现了一种程序行为控制系统PB,并且针
目的了解腹腔注射氢气对心搏骤停兔肠粘膜损伤的保护作用。方法采用经食道-胸壁交流电致颤建立心搏骤停模型，36只新西兰大白兔随机平均分为Sham组、CA组和CA+H2组。复苏后24h，
健康是人们享有的基本权利,随着医学的发展和成熟,人们对健康的认识和需求在不断的提高,从生物医学模式转变为生物一心理一社会医学模式.健康宣教已经现代医护人员必须具备的
话音通信容易受别人窃听,在各类话音保密系统中,数字密码器提供最佳的话音通信安全.本文利用一种快速随机的256比特分组密码算法-MUST3、伪随机数产生器算法-MUST-RND,并采用
基于网络的入侵检测系统是网络安全的重要组成部分,其基准测试方法一直是国内外测评机构研究的热点.本文从功能测试、性能测试和安全性测试三个方面,详细地讨论了它的基准测
高中阶段学习任务重、教学课时少,教师往往采用讲课与练习相结合的教学方式.这在一定程度上造成学生学习兴趣的下降,甚至产生对数学的抵触情绪,不利于学生进一步学习.基于这
本文详尽分析了等温容器内部的四种换热过程,并以10升等温容器为例,对等温容器本身选材及其内部填充材料的选择作了讨论.进而以换热学及气动系统动力学理论为基础,建立了等温
目的 重点研究和探讨慢性盆腔炎患者的临床特点,以及相应的诊断治疗方法,以便更好的减少慢性盆腔炎的发病率.方法 利用回顾性分析的方法,对我院妇科于2010年1月～2012年12月收