论文部分内容阅读
首先建立了无线环境中入侵者的能力模型，再应用串空间模型形式化地分析了802．11i的四次握手协议的保密特性．分析结果表明，在提出的模型下，四次握手协议能安全地分配PTK和GTK．
无线网协议802．11i安全性的一种形式化分析方法
【摘 要】
：
首先建立了无线环境中入侵者的能力模型，再应用串空间模型形式化地分析了802．11i的四次握手协议的保密特性．分析结果表明，在提出的模型下，四次握手协议能安全地分配PTK和GTK．
【机 构】
：
苏州大学计算机科学与技术学院
【出 处】
：
苏州大学学报(自然科学版)
【发表日期】
：
2008年3期
其他文献
<正> 随着会计电算化的发展和普及,计算机审计迅速发展。为了提高计算机审计的质量,应充分认识计算机审计风险问题。风险是指发生伤害、毁损、损失的可能性。审计风险本质上
利用与仿射上导数相关的向量变分不等式的真有效性,对局部凸拓扑向量空间中的集值优化问题的Henig有效性、超有效性、锥超有效性等给出了一些充分、必要条件,从而推广了一些
作为医学基础的一门重要课程——《生理学》的地位不容置疑。如何帮助学生掌握该门课程已成为教师义不容辞的责任。传统的以教师为主导地位的灌注式《生理学》授课模式已远远
期刊
山药对土壤要求不高,沙土、两合土、坡地都可种植。山药种薯有休眠特点,故播种前要进行种薯催芽。定植前25~30 d进行种薯处理,种薯长出5 cm幼芽时即可移植;气温15 ℃左右,地
大咯血是肺结核常见危重并发症,药物止血治疗仍是目前抢救的主要方法.笔者于1995年1月至1999年3月对124例肺结核大咯血患者采用超声雾化吸入去甲肾上腺素或凝血酶止血治疗,取
《合同法》第53条规定,免责条款原则上有效,例外无效。第39条规定,格式条款中的免责条款,如果履行了提示和说明义务就有效。但第40条却规定“免除其责任”的条款无效。这就使