【摘 要】
：
基于图论的方法被引入来进行分析多阶段、多主机之间的网络渗透行为,但非形式化的数据描述及状态爆炸等问题难以适应中大规模网络系统。通过分析多种网络渗透行为,提出一种基
论文部分内容阅读
基于图论的方法被引入来进行分析多阶段、多主机之间的网络渗透行为,但非形式化的数据描述及状态爆炸等问题难以适应中大规模网络系统。通过分析多种网络渗透行为,提出一种基于逻辑渗透图的网络安全分析模型(LEG-NSAM)。通过分析对比看出,LEG-NSAM的形式化描述和推理机制有助于更加准确、清晰地评估安全风险。采用LEG及其简化算法能够对大规模网络进行有效安全分析。
其他文献
通过对徐汇区徐家汇和浦东新区惠南镇这两个地区进行深入调查和访谈,分析上海市城镇和郊区外来暂住人口的生存现状,并对个人文化素质水平、就业收入情况、住房、社会保障等各
森林的水文效应,早为农林水利工作者和自然地理等科研工作者所重视。近年来人们在进行典型区实验观测的同时,开始注意大面积上森林植被变化对水文情势影响的观察与研究。198
<正>从阅读层面来看,"整体感知"的表述应该是:用整体感知的方式阅读适宜于整体感知的文本以达到整体感知的目的。它是一种方法论,一种思维方式,是
目的探讨孕期使用乙肝免疫球蛋白对乙型肝炎病毒(HBV)宫内感染的保护作用及其对孕妇病毒滴度的影响。方法以HBsAg阳性孕妇及其新生儿为研究对象,以孕期使用过乙肝免疫球蛋白
马克思的社会进步理论内容丰富,而社会进步的评价尺度问题又一直以来是理论界关注的热点,马克思认为,衡量社会进步的尺度应该既有生产力尺度又包括人的发展尺度,这两个尺度既
目的通过分析人工流产后不孕或继发自然流产患者与微生物感染、免疫抗体异常及子宫内膜异位症等疾病的相关性,探讨人流后不孕继发自然流产的发病机理。方法对2004年10月-2011
文章主要探讨了高分子量聚合酯在乳化型和纯油型两种金属切削液中的应用,分别使用攻丝扭矩(MicroTap)、四球极压和四球抗磨试验机作为评价手段对相应配方进行了润滑性能对比,
目的观察白花前胡合剂治疗急性缺血性中风的疗效。方法将100例急性缺血性中风患者随机分成治疗组和对照组,每组各50例。两组均给予基础治疗,即口服拜阿斯匹林,并予降压、降糖
随着社会主义市场经济的发展和医院经济活动的增加,医院内部审计的范围越来越广,同时也使医院内部审计工作带来更高的挑战。本文通过对我国医院内部审计存在的风险及其形成原
<正>九年前,当韩胜利考上西安的大学,成为全村第一个大学生时,瘦弱、文静的他成了父亲韩培印最大的骄傲。老韩坚信儿子用不了多久就会"出人头地"。因此,为了帮儿子凑学费和生