【摘 要】
：
通过对串空间模型的扩展，提出了一种可以对安全协议DoS攻击进行分析的形式化分析方法。利用扩展后的串空间模型，对IEEE802．11i协议中的四步握手协议进行深入分析，发现其存在DoS攻
【机 构】
：
东南大学信息科学与工程学院，南京，210096
【出 处】
：
第六届中国信息和通信安全学术会议(CCICS'2009)
论文部分内容阅读
通过对串空间模型的扩展，提出了一种可以对安全协议DoS攻击进行分析的形式化分析方法。利用扩展后的串空间模型，对IEEE802．11i协议中的四步握手协议进行深入分析，发现其存在DoS攻击漏洞。根据存在DoS攻击漏洞的原因所在，提出了一种改进方法来克服减弱DoS攻击风险，并通过了扩展后的串空间模型对于判断安全协议DoS攻击分析的测试规则。最后，利用扩展后的串空间模型，对改进后的四步握手协议进行证明，得出改进后协议可以通过两类DoS测试规则运行至结束。
其他文献
近年来，安全问题成为无线自组织网络研究的热点之一。已有的很多安全路由协议缺乏对Ad Hoc网络实际特点的考虑，耗能和开销相对较大，同时缺乏对自私节点带来的安全危害的抵制。将
本文针对医院成本管控问题进行分析,从管控制度、预算编制、数据核对以及信息管控几方面,提出了合理的成本管控措施,促使相关人员改进医院成本管控工作方式,提高成本管控水平
米索前列醇用于人工流产已有较多报道,小剂量应用在初孕流产者的成败未见报道。为此,本文对50例早孕人工流产之前口服米索前列醇200μg的效果观察作了分析,报道如下。 1 资
随着经济全球化的快速发展,外贸企业在得到更多商机的同时,也面临国际贸易的风险.尤其是随着新冠病毒疫情在国内外的爆发,外贸企业也面临出口业务降低、供应链断供、外汇波动
票据在现代交易市场上产生了不可替代的重要作用,其作为现金支付交易的替代工具能够克服货币在时间和空间上的交易支付障碍从而使商事交易更加安全和便捷.为了保护持票人持有
长沙地区1986-2000年钩端螺旋体病监测结果分析
Analysis of monitoring results of leptospirosis in Changsha area from 1986 to 2000
随着医疗事业的快速发展,财务报表审计所发挥的作用日益重要,是保障医院持续健康发展的关键.依托财务报表审计工作,能够及时准确的发现财务工作漏洞,解决财务报表所反映的问
捐赠的不透明使人们质疑慈善机构是否能够将所有的捐款都用于赈灾，人们希望有可信透明的方案来监管这些善款。为了让整个捐款过程可信可控，利用强化的RMX签名算法——eRMX签名
随着互联网的大范围普及,传统采购模式逐渐向新的采购模式转变,越来越多的企业开始选择使用互联网+的全新采购模式开展采购工作,建立采购管理平台,新的采购模式在给企业带来
会计核算和纳税管理是房地产企业经营管理中的重要内容,提高会计核算和纳税管理水平对企业发展具有重要意义.而实行营改增新税收体制在很大程度上转变了房地产企业的会计核算