标准模型下可托管的基于身份认证密钥协商

来源 :电子学报 | 被引量 : 0次 | 上传用户:jx34343
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
现有会话密钥可托管的 ID-AKA(IDentity-based Authenticated Key Agreement)协议要么存在已知安全缺陷,要么是在随机预言模型下可证明安全。基于 Boneh 等人定义的安全陷门函数,提出一种会话密钥可托管的 ID-AKA 协议。在 ID-BJM模型基础上,扩展定义了 ID-AKA 协议分析的标准安全模型。扩展模型将安全游戏划分为两个阶段,去除了随机预言机,能完备地模拟不同类型敌手的行为。在扩展模型下,新协议的安全性被规约为多项式时间敌手求解判定性 BDH(Bili
其他文献
从标签系统中生成层次体系可以支持多种类型的应用,具备重要的意义.当前的研究主要集中于发现标签间的关系,但对如何利用这些关系形成高质量的层次体系却关注不足.针对这一现状,研究了支持Web 2.0标签层次体系构建的关系识别及层次组合方法,通过分析并识别已发现的标签间关系所具有的不同类型提升了标签间关系的质量,并提出基于语义流动分析的层次组合方法实现了更高质量的层次体系构建.应用多种评估指标的实验结果表
羽毛球是当下人们比较热爱的一项体育运动,研究控制羽毛球的落点方法也成为了当下一大热点,将羽毛球场地划分为三个大的区域,九个较小的区域,并将其标记出来;学生使用不同的
对基于灰度影像匹配中的几种相似性测度进行了研究 ,分析了每种测度的直观意义、限制条件以及改进措施 ,最后通过实验结果验证了上述结论。
逐步非凸方法(GNC)和增广拉格朗日对偶在非凸非光滑图像恢复中有较高的恢复性能.然而分别使用这两种方法时GNC不能够保证全局收敛,增广拉格朗日对偶不能获得有效的初始值.为克服上述缺陷,本文通过转换原始问题为等式约束优化问题推出了一种基于GNC和增广拉格朗日对偶的组合图像恢复方法,并对其收敛性严格证明.该方法不仅可以获得有效的初始值,同时不要求问题具有凸性和光滑性.更多地,一个自适应能量函数通过对偶
运动补偿是ISAR(Inverse Synthetic Aperture Radar)成像算法中的重要步骤.本文将运动补偿归结为多参数估计问题,基于设计结构化Gram矩阵的最优化理论提出了一种运动补偿方法.该方
零相关区非周期互补序列集在多载波码分多址通信系统中有着重要应用.已有的四元零相关区非周期互补序列集构造方法都是基于二元或四元零相关区互补序列集,得到的序列集参数受到
国产封堵器经导管介入封堵术是目前治疗室间隔缺损(VSD)的首选方法。2005年1~12月,我们应用国产封堵器介入治疗VSD患者60例,疗效满意。现报告如下。
乳腺肿瘤是女性常见的肿瘤之一,患者的心理状态对疾病的治疗效果和预后有着很大的影响。临床资料:选择2005年我院住院的乳腺肿瘤患者86例,均为女性,年龄22~60岁,平均45岁。瘤体局
摘 要:小分值主要是由规则所决定的,在国际式摔跤比赛中要想获得小分值,还需要从战术、心理素质以及动作技术等三个方面来进行运动员全面训练工作,借此来促使运动员的摔跤水平得到进一步的提升,从而在比赛中获得更高的分数,本文主要就小分值在国际式摔跤比赛中的重要性以及训练方式进行了探究分析。国际摔跤比赛多是通过双肩的绝对胜利以及分值多少来进行胜负的判定,而在两个运动员水平相近的基础上,主要是根据最终得分值来
该文通过文献资料法、逻辑分析法、访谈与问卷调查法对海南热带海洋学院公共体育教学进行了研究分析,主要表现在:教学内容不具有学校特色、教学模式过于僵化、教学目标模糊不