【摘 要】
：
快速密钥交换（JFK）协议是一种新的密钥交换协议，它的安全性引起了人们的重视。文中通过使用BAN类逻辑方法针对其安全目标进行了分析与研究。首先简介了JFK协议的两种形式和报文
论文部分内容阅读
快速密钥交换（JFK）协议是一种新的密钥交换协议，它的安全性引起了人们的重视。文中通过使用BAN类逻辑方法针对其安全目标进行了分析与研究。首先简介了JFK协议的两种形式和报文交互的工作原理，在此基础上指出了它所达到的安全目标，然后介绍了BAN类逻辑方法的符号语义说明和逻辑规则，并通过使用它对JFK协议中一种具体形式JFKr的安全性进行了分析证明。得出了JFK协议满足密钥交换协议的基本安全需求的结论。
其他文献
2011年12月9日下午,中国科学院2011年院士增选结果发布，我校副校长、本刊主编黄维教授荣膺中国科学院（信息技术科学部）院士。目前，江苏省共有两院院士（中国科学院院士、中国工程院
时光荏苒,光阴似箭,转眼,我省12316走过了八个春秋,完成了从一部电话到一个综合互动交流平台的华丽转变.八年,转眼即逝,八年,一起走过.作为12316团队一员和亲历者,我在由衷地
采用等离子体增强化学气相淀积系统,应用原位氧化和原位掺杂技术制备出了以非晶硅/二氧化硅多层膜结构为本征i层、分别以磷和硼掺杂的非晶硅作为n型和p型区的p-i-n结构。经过
在面对城乡学生这一群体时,两者之间的差异性是比较大的。如,在数学学科当中,城乡学生在数学水平和基础上的差距都比较悬殊,并且基础性比较差,导致教师在教学的开展中遇到比
10月20-21日，AGSIOT 2016中国国际农业传感器与物联网应用峰会在南京成功举办，此次峰会由农业大数据产业技术创新战略联盟、山东农业大学农业大数据研究中心大力支持举办，河南省物联网行业协会协办，同时得到了豪根道Hoogendoorn Asia、维萨拉、广州健坤网络科技发展有限公司、厦门大洋通信有限公司、北京农信互联科技有限公司、北京力高泰科技有限公司/ 基因有限公司农业环境科学部、北京东
低温冻害是农业种植常见的自然灾害之一,针对中国川东北地区—达川区虎让乡冬季的天气特征,制定相应的防冻措施,提高油菜的成活率,形成油菜种植应对措施,保障越冬期油菜的有
通信网向高可靠性、高利用率和高服务质量方面发展,现有路由算法已难以适应发展要求,需要寻找新算法.研究出一种易于多处理器并行运算的快速路由算法,采用逻辑代数运算规则,
作者较详细的介绍了公路路基施工全过程的质量控制方法。
我们所知道的发电厂或供热锅炉房等工业厂房经常需要烟囱。而烟囱的设计是和普通钢筋混凝土物件设计是不同的。烟囱是一个高耸且为薄壁式结构,同时由于温度的影响,其砼和钢筋
物理教學的備課在總的原则上和學校中的其他科目是完全一致的,但在具體過程里还有它的特殊性。正像大家所知道的一般,在物理教學中除了講解以外,還要進行各種形式的实驗,而且