论文部分内容阅读
随着无线网络应用的迅速发展，网络安全的问题也悄然的走了进来。采用形式化方法设计及分析无线环境下的安全协议得到快速的发展以及广泛的应用。本文针对无线网络安全协议的形式化进行了分析和探讨。
无线网络安全协议的形式化分析方法
【摘 要】
：
随着无线网络应用的迅速发展，网络安全的问题也悄然的走了进来。采用形式化方法设计及分析无线环境下的安全协议得到快速的发展以及广泛的应用。本文针对无线网络安全协议的形
【机 构】
：
西华师范大学网络中心
【出 处】
：
科技创新与应用
【发表日期】
：
2012年24期
其他文献
长期以来,塔吉克斯坦罗贡水电站的建设在中亚地区引发诸多争议,建设过程曲折艰难,也始终为国际社会所关注。文章就罗贡水电站建设对塔吉克斯坦内政外交、中亚地区合作及一体
随着历史进程,经过恢复、改革和发展、形成了比较完备的概预算定额管理体系。但随着社会主义市场经济的发展,这个体系的许多问题也随之暴露出来。正确地编制工程造价对政府和
本文主要通过流体力学理论,对自行车在行驶过程中的作用力影响进行分析,对自行车外形设计提出了一些意见和建议。本文将对自行车行驶时的空气阻力空气阻力、表面的压强、气动
目的观察应用蒙脱石散剂治疗胆汁反流性胃炎的临床疗效。方法 65例患者全部经胃镜检查确诊,随机分为2组,A组(常规治疗组)30例,予以奥美拉唑20 mg,2次/d,早餐前半小时口服,西
合金粉末表面热喷焊技术是一种新的表面防护和强化工艺。通过加入不同配比的合金粉末，使工件表面获得高耐磨性、高耐蚀性或耐热抗氧化的保护层，从而提高锅炉的使用寿命。
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
目的研究橙皮苷衍生物Y-12(HY-12)对免疫低下小鼠的免疫功能的影响。方法以连续2 d腹腔注射给药环磷酰胺(50 mg/kg),建立小鼠免疫低下模型,同时分别用IgG和IgM测量试验、巨噬