论文部分内容阅读
基于协议预言机模型是一个开放的模型,能为准确地描述入侵者的攻击能力提供统一的框架.该文提出了一种协议预言机模型,使用协议预言机来形式化地描述入侵者对协议的攻击能力,通过协议生成树,该模型可以跟踪入侵者攻击协议的轨迹.
协议入侵者攻击能力的统一建模
【摘 要】
：
基于协议预言机模型是一个开放的模型,能为准确地描述入侵者的攻击能力提供统一的框架.该文提出了一种协议预言机模型,使用协议预言机来形式化地描述入侵者对协议的攻击能力,
【机 构】
：
攀枝花学院网络中心
【出 处】
：
电子科技大学学报
【发表日期】
：
2007年3期
其他文献
针对网格环境下计算节点的自治性、异构性、动态性、分布性等特征,提出了一种基于动态修正预测的调度算法。该调度方法依据历史数据和最近访问过的计算节点的性能、网络通信
结合Friston的BOLD动力学模型与Agnes Aubert建立的脑电生理和代谢藕合模型，提出了一种扩展的BOLD动力学模型．对改进的模型讨论了血液动力学模型血流的非线性特性，把脑的新陈代
目的：观察还原型谷胱甘肽（GSH）治疗68例酒精性肝病的临床疗效。方法将68例患者随机分为两组，在戒酒的基础上两组均给予维生素C、甘利欣、门冬氨酸钾镁治疗，治疗组加用还原型谷胱甘
目的：观察右美托咪定对腰椎手术中体感诱发电位（ somatosensory evoked potential, SSEP）及运动诱发电位（ motor evoked potential, MEP）的影响。方法选择择期行全麻腰椎手术患者6
目的：探讨超声检查对脐尿管癌的诊断价值。方法回顾2008~2013年本院经超声检查的8例脐尿管癌患者资料,总结其特点。结果8例患者均经手术病理证实为脐尿管癌,脐尿管腺癌6例、尿
目的：探讨紫杉醇与顺铂单药对局部晚期宫颈癌放疗增敏作用及副作用。方法对53例IIB~III期宫颈鳞癌患者调强放射治疗选择紫杉醇或顺铂单药周方案同步化疗，观察近期疗效及副作用
呼叫允许控制是无线移动通信网络保障用户服务质量、提高无线资源利用率的一种重要机制。该文提出了一种适用于CDMA系统的呼叫允许控制方案。为了保障切换用户的服务质量,该
指出了目前使用前向纠错技术(FEC)的主动可靠组播协议的不足;提出了新的使用FEC的动态主动可靠组播协议(DAFR),DAFR在组播原始数据包的同时组播h′个冗余包,主动中间路由器只
目的探讨在非糖尿病的高血压人群中糖化血红蛋白与心血管重构的关系。方法对150例原发性高血压但未诊断糖尿病的住院患者检测总胆固醇（TC）、高密度脂蛋白胆固醇（HDL—C）、低密度