A New Provably-Secure Key Agreement Protocol for Roaming in Mobile Networks

来源 :武汉大学学报:自然科学英文版 | 被引量 : 0次 | 上传用户:chenquanchenwen
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
为认证和关键建立的协议在无线环境有特殊要求。这篇论文论述新关键协议协议 HAKA (家服务者帮助了关键同意) 为漫步情形。它被一个活动用户和一个外国服务器在一个家服务器的帮助下执行,它提供三个聚会的所有必要认证。会议钥匙能被没有人除了活动用户和外国服务者获得。没有使用任何不对称的加密, HAKA 基于 Diffie-Hellman 关键交换和一个安全哈希函数。协议在 Canetti-Krawczyk (CK ) 模型被证明安全。
其他文献
我们学习与表示在二个节点之间的交通的连接重量在 scale-freenetworks 宣传进程的详细恶意的代码。propagatingvelocity 很快到达一座山峰,这被发现然后,在一条幂定律的腐烂形
目的对脾胃虚寒型慢性胃炎穴位贴敷配合艾灸临床治疗效果进行探究.方法:采取随机选择法,选择本科2015年3月至2016年9月收治的60例脾胃虚寒型慢性胃炎患者作为研究对象,随后利
用能适应的矩阵的二进制图象的一个 watermarking 算法被介绍。一个能适应的矩阵被设计评估光滑和二进制图象的连接。水位标在这个算法根据能适应的矩阵被嵌入。在建议 water
A series of polyurethane/epoxy resin interpenetrating polymer networks (PU/ER IPN) were studied by positron annihilation lifetime spectroscopy (PALS). The effec
This paper presents a software simulator applicable to multipath fading channels in urban environments of mobile communication networks. The simulator is constr
因特网为信息传播成为了主要媒介,怎么在网上检测热话题,追踪事件开发并且预报紧急情况对许多域重要,特别地到一些政府部门。根据话题察觉的领域里的研究并且追踪,我们为将由自动
目的:通过开展主动监测,了解阿克苏地区人间布鲁氏菌病疫情特点,为制定防治措施提供依据.方法:收集并分析2014年中国疾病监测信息报告管理系统,阿克苏地区各级医疗机构布病报告
By introducing the logistic-like technology, the classi-cal Solow-Swan model is extended to inquire the technological overflow and catch-up of the developing ec
超文本的过程基于一个语义关系模型导致了话题搜索被分析,;为点击算法的话题飘移的原因被发现证明网页被投射到一个错误地潜伏的语义基础。新概括概念的类似被介绍;基于这,新话题
The impaction of aggregated network traffic on queueing system is studied in this paper. It shows that the network traffic stayed in buffer has different impact