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

第 期 电 子 学 报 １０ Ｖｏｌ．４３ Ｎｏ．１０ 年 月 ２０１５ １０ ＡＣＴＡＥＬＥＣＴＲＯＮＩＣＡＳＩＮＩＣＡ Ｏｃｔ． ２０１５ 标准模型下可托管的基于身份认证密钥协商 陈 明 （宜春学院数学与计算机科学学院，江西宜春 ３３６０００） 摘 要： 现有会话密钥可托管的 （ ）协议要么存在已知安全缺陷， ＩＤＡＫＡＩＤｅｎｔｉｔｙｂａｓｅｄＡｕｔｈｅｎｔｉｃａｔｅｄＫｅｙＡｇｒｅｅｍｅｎｔ 要么是在随机预言模型下可证明安全 基于 等人定义的安全陷门函数，提出一种会话密钥可托管的 协 ． Ｂｏｎｅｈ ＩＤＡＫＡ 议 在 模型基础上，扩展定义了 协议分析的标准安全模型 扩展模型将安全游戏划分为两个阶段，去除 ． ＩＤＢＪＭ ＩＤＡＫＡ ． 了随机预言机，能完备地模拟不同类型敌手的行为 在扩展模型下，新协议的安全性被规约为多项式时间敌手求解判 ． 定性 （ ）难题和判定性 （ ）难题，具有可证明安全性 ＢＤＨＢｉｌｉｎｅａｒＤｉｆｆｉｅＨｅｌｌｍａｎ ＢＤＨＩＢｉｌｉｎｅａｒＤｉｆｆｉｅＨｅｌｌｍａｎＩｎｖｅｒｓｉｏｎ ． 关键词： 认证密钥协商；基于身份密码体制；双线性映射；标准模型；密钥托管 中图分类号： 文献标识码： 文章编号： （ ） ＴＰ３０９ Ａ ０３７２２１１２２０１５１０１９５４０９ 电子学报 ： ： ： ＵＲＬ ｈｔｔｐ／／ｗｗｗ．ｅｊｏｕｒｎａｌ．ｏｒｇ．ｃｎ ＤＯＩ １０．３９６９／ｊ．ｉｓｓｎ．０３７２２１１２．２０１５．１０．０１２ ＥｓｃｒｏｗａｂｌｅＩｄｅｎｔｉｔｙＢａｓｅｄＡｕｔｈｅｎｔｉｃａｔｅｄＫｅｙ ＡｇｒｅｅｍｅｎｔｉｎｔｈｅＳｔａｎｄａｒｄＭｏｄｅｌ ＣＨＥＮＭｉｎｇ （ ， ， ， ， ） ＳｃｈｏｏｌｏｆＭａｔｈｅｍａｔｉｃｓａｎｄＣｏｍｐｕｔｅｒＳｃｉｅｎｃｅＹｉｃｈｕｎＵｎｉｖｅｒｓｉｔｙＹｉｃｈｕｎＪｉａｎｇｘｉ３３６０００Ｃｈｉｎａ ： ， ， Ａｂｓｔｒａｃｔ ＩｎｒｅｃｅｎｔｙｅａｒｓａｆｅｗｅｓｃｒｏｗａｂｌｅＩＤＡＫＡｐｒｏｔｏｃｏｌｓｈａｖｅｂｅｅｎｐｒｏｐｏｓｅｄｂｕｔｎｏｎｅｏｆｔｈｅｍａｒｅｐｒｏｖａｂｌｙｓｅｃｕｒｅｉｎ ｔｈｅｓｔａｎｄａｒｄｍｏｄｅｌｗｈｉｌｅｓｉｍｕｌｔａｎｅｏｕｓｌｙｈａｖｉｎｇｓｔｒｏｎｇｓｅｃｕｒｉｔｙ．Ｔｈｅｍａｉｎｉｓｓｕｅｉｓｈ