论文部分内容阅读
目前,随着宽带无线网络的飞速发展,网络安全成为人们日益关注的一个问题.文章首先简单介绍了IEEE802.16两个版本的认证协议,然后利用BAN逻辑形式化分析方法,对PKMv1和PKMv2的认证协议分别进行了分析,指出了其中的安全漏洞,提出了改进措施,最后指明未来的研究方向.
IEEE802.16安全认证协议的形式化分析
【摘 要】
：
目前,随着宽带无线网络的飞速发展,网络安全成为人们日益关注的一个问题.文章首先简单介绍了IEEE802.16两个版本的认证协议,然后利用BAN逻辑形式化分析方法,对PKMv1和PKMv2的
【机 构】
：
装备指挥技术学院信患管理中心
【出 处】
：
世界华商经济年鉴·科学教育家
【发表日期】
：
2004年期
其他文献
目的 探索影响老年人社区获得性肺炎(CAP)预后的风险因素.方法 使用Logistic回归模型分析111例CAP患者,男68例,女43例,(78.1±7.9)(65-98)岁,病死率的风险因素.结果 病死率为
目的 探讨老年痴呆患者疼痛临床评估方法 ,以及降低疼痛应激的护理对策.方法 将符合诊断标准的40例重度老年痴呆患者随机分为评估组和对照组各20例.在常规静脉采血过程中使用
目的 探讨持续吸入不同浓度氧气对新生大鼠肺血管内皮生长因子(VEGF)及其受体1(VEGFRl)和受体2(VEGFR2)mRNA表达的影响.方法 新生足月SD大鼠32只,随机分为对照组和实验组.实
目的 探讨阿托伐他汀对急性冠脉综合征(ACS)患者血清白细胞介索6(IL-6)及肿瘤坏死因子α(TNF-α)水平变化的影响.方法 将ACS患者48例随机分为阿托伐他汀组25例和常规治疗组23
针对目前高职护生职业态度中自我职业定位、职业忠诚度以及按照岗位要求履行职责,进而达成工作目标的态度和责任心等诸要素普遍缺乏的现象,提出加强护理人文教育的方法,培养
目的研究甲状腺过氧化物酶抗体(TPOAb)水平对毒性结节性甲状腺肿(毒性结甲)患者131I治疗后不同转归的影响,探讨其是否对治疗后甲状腺功能减低具有指示作用。方法依照血清TPOA
胰高血糖素样肽-1(GLP-1)是一种肠促胰岛素,具有促进胰岛素释放,延缓胃排空,降低胰升血糖素和降低食欲等生理作用,为2型糖尿病的治疗开辟了一个非常好的前景[1,2]。1 G LP-1
神经营养因子(neurotrophic factors,NTs)是一类调节神经元发育、分化及功能的因子.它可激活两种不同类型的受体--酪氨酸激酶的Trk(tyrosine kinase receptor)家族和肿瘤坏死
见习是理论学习与临床实习之间的重要环节.作者在胸外科见习带教中的体会包括:建立胸外科影像学片库,用于见习教学;了解教学内容并在带教中简要复述;进行针对性提问;讲解影像
党的"十七大"报告再次明确提出了建设和谐社会的伟大目标.道德是社会和谐的重要基础,也是构建和谐社会的重要精神力量.作为我国网民的主体力量,大学生的网络道德教育至关重要