【摘 要】
：
模型检验作为一种有效的分析和验证手段,在对有线认证协议的形式化分析上已得到了成功的应用,但关于无线认证协议的相关工作目前还比较少.论文应用模型检验方法对D.S.Wong等
论文部分内容阅读
模型检验作为一种有效的分析和验证手段,在对有线认证协议的形式化分析上已得到了成功的应用,但关于无线认证协议的相关工作目前还比较少.论文应用模型检验方法对D.S.Wong等提出的无线认证协议（Server-specific MAKEP）的安全性进行分析,在分析过程中充分考察了无线环境中移动装置和无线网络的特点,验证结果表明了该方法用于分析无线认证协议的有效性.
其他文献
茶树起源问题虽然较难考证,但是世界上公认的最早发现茶树和利用茶树的国家是中国。瑞典科学家林奈(Carl von Linne)在1753年出版的《植物种志》中,就将茶树的最初学名定命为
目的观察中药灌肠联合盆腔超短波电疗治疗慢性盆腔炎的临床疗效及对患者血液流变学、血清炎症因子的影响。方法将196例慢性盆腔炎患者按照随机数字表法分为2组。对照组98例予
目的对甲状腺功能与冠状动脉慢性完全闭塞性病变(chronic total occlusion,CTO)患者侧枝循环(collateral circulation,CC)之间的关系进行研究。方法对2010年1月1日至2014年12
目的 药师审核并干预我院门诊处方存在的问题,提高处方质量,促进合理用药。方法 抽取我院2014年度门诊处方10219张进行统计分析。结果 不合格处方147张,占抽查处方数的1.44%,
对中原14个不同株型牡丹品种:‘紫红争艳’、‘酒醉杨妃’、‘万花盛’、‘红梅傲雪’、‘银鳞碧珠’、‘十八号’、‘肉芙蓉’、‘藕丝魁’、‘佛门袈裟’、‘银粉金鳞’、
现如今,社会在进步,随之人们对交通出行这一问题也越加重视,尤其是关于高速公路的建设方面,已经受到社会各界的重视,本文以成都经济区环线高速公路简阳至蒲江段为例,对该路段
本文在全面调查和整理四川省山地户外运动近10年来山难事故的基础上，运用实证研究方法客观地分析山地户外运动山难事故，并对四川省山地户外运动山难的特点和原因进行了深度解析
铝合金在航天工业中有着重要地位,其强度适中,塑性好,密度低,具有较强的抗腐蚀性,且抗裂纹能力好。但在焊接过程中产生的残余应力和由其引起的焊接变形对材料的成形质量有很
目的探讨急性脑血管疾病合并吞咽功能障碍患者的早期康复护理训练效果。方法选取2016年6月~2019年3月在我院接受治疗的急性脑血管疾病合并吞咽功能障碍患者116例作为研究对象
采用木材制浆时通过加入染料可制备各种颜色的纸产品。然而，如果想要获得表面透明的纸张以用于涂鸦或折叠，就需要用塑料材料代替纸产品，但是现在看来这一做法将要发生改变。