论文部分内容阅读
3GPP AKA协议的设计者使用BAN逻辑对协议进行形式化的分析，并生成所有的安全目标已经达到。但是由于BAN逻辑的局限性，设计者并没有找到协议对于重定向攻击和重放攻击的脆弱性。本文给出基于信仰变化的KG逻辑方法，指出脆弱性所在，并对改进后的协议方案进行验证。
基于KG逻辑的3GPP AKA协议形式化分析与改进
【摘 要】
：
3GPP AKA协议的设计者使用BAN逻辑对协议进行形式化的分析，并生成所有的安全目标已经达到。但是由于BAN逻辑的局限性，设计者并没有找到协议对于重定向攻击和重放攻击的脆弱性。
【机 构】
：
中山大学计算机科学系
【出 处】
：
中山大学研究生学刊：自然科学与医学版
【发表日期】
：
2006年2期
【基金项目】
：
This work was partially sponsored by the National Natural Science Foundation of China （ Project No. 60273062） and the Guangdong Provincial Natural Science Foundation （Project No. 04205407）.
其他文献
继上期介绍了士半部分的“年度车2008”候选车型后，这期我们将为大家介绍余下部分的候选车型。在本期介绍的车型中有很多市场关注度很高的明星车款。如中型车中的热点车型——
探索了基于经典分子动力学结构优化的基本过程．对碳纳米管环做了结构优化．结果表明。对于这种大的分子团簇的结构优化。经典分子动力学能很有效地找到体系局部势能极小值．
无论是汉语还是德语，都有“谓语”这一句法项（这里排除在交际场合中的独词句）。然而德汉两个民族对于谓语的理解及其运用并不完全相同：德语的谓语由动词承担，整个句子以动词谓语为
本文讲述了大气混合层厚度的定义及它在大气环境保护中的作用。论述了大气混合层厚度的多种计算方法如国标法、干绝热法、罗氏法等，并分析了大气混合层厚度的各种影响因子。其
我刊“年度车2008”评选活动自今年10月启动以来，到本月已经到了最为重要的高潮部分。所有侯选车型在经过评委选票的评选后，9款入围车型已最终评出。他们分别代表着不同车型级
异基因造血干细胞移植是治愈白血病的唯一有效方法,但是受供者来源的限制,许多患者没有接受移植治疗的机会,随着移植技术的进步,亲缘供体的半相合移植取得成功,针对青少年白
自开瑞品牌3月上市、瑞麒品牌4月上市之后，奇瑞公司旗下的第3个新品牌威麟于8月也向市场推出了量产车型V5，奇瑞股份旗下的全部品牌都已投入市场。
EDTA是血细胞计数的常用抗凝剂，但它偶可诱导PLT体外聚集，使血细胞自动分析仪不能识别，导致PLT计数明显低于实际值，这就是EDTA依赖性假性PLT减少症（EDTA-dependent pseudothromboc