论文部分内容阅读
WAPI是国内第一个的无线局域网标准。本文利用Kailar逻辑模型对WAPI中的证书鉴别过程形式化描述,并对其安全性进行了逻辑推理分析,并对其中的安全缺陷提出了改进方案,使协议达到预期的安全目标。
WAPI安全机制的形式化分析
【摘 要】
：
WAPI是国内第一个的无线局域网标准。本文利用Kailar逻辑模型对WAPI中的证书鉴别过程形式化描述,并对其安全性进行了逻辑推理分析,并对其中的安全缺陷提出了改进方案,使协议
【机 构】
：
中国矿业大学计算机科学与技术学院
【出 处】
：
微计算机信息
【发表日期】
：
2010年12期
其他文献
国内科技期刊中某些英汉摘要在传达信息方面存在缺省、冗余、模糊三大问题.通过实例分析,阐述了这三大问题产生的原因及解决对策.
目的:探讨小儿白血病患者通过静脉输液治疗时采取有效的护理干预对其疗效的影响。方法:选取2014年6月至2016年5月我院收治的100例通过静脉输液治疗的小儿白血病患者进行研究
目的探讨胫骨骨隧道拉出(“pull-out”技术)缝合半月板止点重建治疗外侧半月板后根部损伤(posterior root tear of the meniscus,PRTM)的短期临床疗效。方法2014年1月~2017年
中西传统伦理学中有着丰富的公平理论资源,生态伦理学作为一门新兴学科,进一步拓展了人类对于公平理论的理解和视野.从生态伦理的角度论述可持续发展的公平性原则的内容和本
要实现中国出版企业的政企分开,建立完善的法人治理结构,调动出版从业人员特别是中高层管理者的积极性,以达到提高出版企业经济效益的目的,就要在集团化改革中进行MBO,使从业
明代出现了讽刺赋勃兴的局面,其中咏物讽刺小赋尤有特色.明代讽刺赋是在历代文学发展经验的积累中和特定的社会文化环境的刺激下勃兴起来的.它不仅具有深广的题材内涵,而且极
幼儿阶段是孩子身体发展和各项技能培养的关键时期。研究表明,适当的体育运动可以提高幼儿的注意力,促进幼儿的身心发展。对于幼儿来说,篮球运动是一种适宜的运动方式,有助于
高等教育的发展在于高等教育制度创新,任何制度的建构及创新,都不是随意的,它受到教育的价值理念与价值取向的支配和制约.世界各发达国家在20世纪中后期经历了以高等教育大众
目的探讨侧前方入路椎体次全切除固定融合术治疗陈旧性骨质疏松椎体压缩性骨折(osteoporotic vertebral compression fracture,OVCF)继发胸腰椎后凸畸形的临床疗效。方法2004
目的:探讨新生儿坏死性小肠结肠炎的护理评估要点和护理干预方法。方法:对2014年12月-2015年11月我院收治的新生儿坏死性小肠结肠炎56例,对其临床资料进行分析,细致全面的护