论文部分内容阅读
通过用BAN类逻辑对JFKi协议的分析,成功的找到了协议中关于身份信息泄露的一个漏洞,并按此漏洞建立了对该协议发起者身份的攻击实例。然后又对协议漏洞提出了修补的方案,保证了协议最初的设计要求:发起者身份能对抗主动攻击。
JFKi协议的分析及漏洞修正
【摘 要】
：
通过用BAN类逻辑对JFKi协议的分析,成功的找到了协议中关于身份信息泄露的一个漏洞,并按此漏洞建立了对该协议发起者身份的攻击实例。然后又对协议漏洞提出了修补的方案,保证了协议最初的设计要求:发起者身份能对抗主动攻击。
【机 构】
：
电子科技大学计算机科学与工程学院
【出 处】
：
计算机应用
【发表日期】
：
2007年S1期
其他文献
患儿,女,8岁.因腹痛伴呕吐3 d,于2003年2月1日入院.患儿于3 d前的早上乘公交车上学的路上,目睹自己座位前面的一个同学呕吐,自己便觉得腹部不舒服,紧接着便呕吐、腹痛起来,以
安县地处长江上游涪江水系中上段,县境内地势西北高、东南低,山、丘、坝兼有。山区箐深坡陡,降雨量丰沛,加之地震的影响,这些山区极易造成水土流失。水保项目治理区通过高标
目的提高手术中人体肿块快速病理诊断的准确性。方法对158例人体肿块手术中快速病检病例，同时进行印片细胞学及冰冻切片检查，并与术后石蜡切片最后诊断对比。结果158例人体肿块
以斜沟煤矿23103特厚放顶煤工作面为研究对象,通过停采线的确定、整体提溜、调斜、工作面铺网、回撤通道支护等工序,确定了放顶煤工作面高效收尾合理的技术参数,降低了巷道支
【摘 要】广州市番禺区红郡小学于2014年建校，作为一所年轻的学校，建校伊始便牢固树立了“以美育美”的独特办学理念。学校在施行国家和地方课程的前提下，按照办学的实际情况，整体规划了学校校本课程。目前已形成了以科技、礼仪、读写、绘画等内容为主的校本课程体系，有效带动了学生的个性化发展与师资队伍的成长，推动了学校特色的发展与品牌的塑造。 【关键词】校本课程;学校特色 【中图分类号】G627
电气系统是掘进机的重要组成部分,电气系统的可靠运行是整机正常工作的保证。分析了EBZ-260H型悬臂式硬岩掘进机电气系统故障的类型,并提出相应的处理方法,以迅速排出电气控
目的评价超声对乳腺肿瘤的诊断价值。方法回顾总结134例经手术病理诊断证实的乳腺肿瘤患者的超声影像特征。结果超声初步定性诊断与病理诊断的符合率为90.04%（126/134）,误诊为5