论文部分内容阅读
在Furqan提出运用串空间理论对IEEE802.11i协议进行形式化验证的基础上,对IEEE802.11i协议的串空间模型进行了改进,并证明了Furqan没有证明的保密性以及服务器的认证性。分析结果证明,在目前的攻击者模型中,IEEE802.11i协议是安全的。
IEEE802．11i协议的形式化分析
【摘 要】
：
在Furqan提出运用串空间理论对IEEE802.11i协议进行形式化验证的基础上,对IEEE802.11i协议的串空间模型进行了改进,并证明了Furqan没有证明的保密性以及服务器的认证性。分析结果证明,在目前的攻击者模型中,IEEE802.11i协议是安全的。
【机 构】
：
重庆大学计算机学院
【出 处】
：
计算机应用
【发表日期】
：
2008年05期
其他文献
中国传统绘制或印刷的图像广告是零星、分散和互不联系的。印刷图像广告包括货物的包装纸、发行商的商标与肖像、描绘娱乐活动的印刷品等。中国传统图像广告的实际样本遭到破
目的：建立用荷移增敏分光光度法测定甲硝唑片中甲硝唑含量的方法。方法：利用甲硝唑与氯冉酸在丙酮-氯代十六烷基吡啶（CPC）介质中形成稳定络合物，在513nm波长处测定络合物的吸光度
采用更精确的先验估计，利用重合度理论讨论了一类与厌氧消化过程微生物生态模型有关的微分方程组，得到了该方程组存在2π周期解的充分条件，改进了相关文献中的定理．
在先验知识未知的情形下,针对现有融合算法的不足,提出了一种新的融合算法。为了进一步提高融合精度,算法用均值和自熵两个概念充分挖掘测量中的冗余信息,进而确定传感器的融合权重。此外,为了预防"数据饱和"的发生,算法在迭代过程中引入限定记忆项,保证算法对数据变化的灵敏性。用均值融合算法、冲突证据预处理算法和新算法对样本数据进行仿真。仿真结果表明,运用新算法得到的权值分配方式更加合理,可进一步提高融合精度
目的：用HPLC多波长梯度洗脱法考察不同玄参样品中桃叶珊瑚苷、哈帕苷、O-甲基梓醇和哈帕俄苷4种环烯醚萜苷的含量。方法：分析柱为kromasil 100A C18（5μm，4．6mm×250mm），流动相
沈勤和陈琦,两位当代艺术家,近年随着绘画成就的日益彰显,在中国当代画坛呈上升之势,人们注视他俩的视线渐渐地要转换为仰视了。各种访谈、各色刊物介绍、各式照片的曝光,似
LC—MS联用技术是以HPLC为分离手段，MS仪为检测器的一门综合性分析技术，它集LC的高分离能力与MS的高灵敏度、极强的定性专属特异性于一体，成为药物研究中不可或缺的有效工具。然
目的 :通过瘢痕疙瘩成纤维细胞 (Keloid Fibroblasts,KFB)信号传递的研究,探讨脾酪氨酸激酶( Spleen Tyrosine Kinase,Syk)与 KFB生物学性状改变的关系. 方法 :取瘢痕疙瘩和
斯宾诺莎从自然权利出发,阐述了国家的产生。他认为国家就是指坚实地建立在法律上和自我保存的力量上面的社会。国家主要有三种类型,即君主政体、贵族政体和民主政体。国家的