基于扩展Canetti-Krawczyk模型的认证密钥交换协议的模块化设计与分析

来源 :计算机研究与发展 | 被引量 : 0次 | 上传用户：ZXCVB1230ZXCVB

【摘要】

：

提出一种模块化的扩展Canetti-Krawczyk模型（简称meCK模型）以摆脱认证密钥交换协议对随机预言机的依赖.首先将认证密钥交换协议划分为秘密交换模块和密钥派生模块,并分别形式化

【作者】

：

潘嘉昕王立斌

【机构】

：

华南师范大学计算机学院,上海市信息安全综合管理技术研究重点实验室

【出处】

：

计算机研究与发展

【发表日期】

：

2011年8期

【关键词】

：

可证明安全认证密钥交换协议 CANETTI-KRAWCZYK模型标准模型 GapDiffie-Hellman provable security auth

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

提出一种模块化的扩展Canetti-Krawczyk模型（简称meCK模型）以摆脱认证密钥交换协议对随机预言机的依赖.首先将认证密钥交换协议划分为秘密交换模块和密钥派生模块,并分别形式化定义其攻击者的能力与安全属性;然后综合上述模块得到认证密钥交换协议的模块化安全模型,并证明所提出的安全定义蕴涵原始的扩展Canetti-Krawczyk安全.借助协议模块化分析的思想,设计了一种高效且在标准模型下可证明安全的认证密钥交换协议（简称UPS协议）.在meCK模型下,UPS协议的安全性可有效归约到伪随机函数簇、目

其他文献

水利系统思想政治工作重在创新

党的十七大报告指出：“加强党员、干部理想信念教育和思想道德建设，使广大党员干部成为实践社会主义核心价值体系的模范，做共产主义远大理想和中国特色社会主义共同理想的坚定信

期刊

水利系统思想政治工作中国特色社会主义创新思想道德建设理想信念党员干部科学发展观

特色经济植物—香料花卉

【摘要】作为特色经济作物香料花卉有着很好的发展应用前景，目前国内外人们对香料花卉的需求逐渐增大。是农业种植结构调整和农民脱贫致富的一个好项目。　　【关键词】香料花卉；代表品种；作用特点　　　　香料花卉是指含有芳香成分的花卉，这些挥发性芳香物质存在于花卉的根、茎、叶、花和果实中。香料花卉的体内含有柠檬醛、丁子香酚等芳香物质。这是香料花卉的主要特征。香料花卉因为含有挥发性的精油成分和不挥发性的生物碱

期刊

香料花卉代表品种作用特点

丰润区农业高效节水灌溉模式的探讨

调整农业种植结构，推广先进的节水灌溉技术并配合适当的农艺节水措施，制得有效的管理制度，发展结合节水，才能真正实现农业高效用水，达到增产增效的目的。

期刊

农业节水灌溉种植结构节水管理

基于扩展Canetti-Krawczyk模型的认证密钥交换协议的模块化设计与分析

其他学术论文