一种可证明安全的ID-AKA协议.pdfVIP

2012 年 5 月 计算机工程 第 38 卷第9 期 Vo 1.38 No.9 Computer Engineering May 2012 文章编号: 100伽-3428(2012)09--014今--04 文献标识码.A 中回分樊号. TP309.2 ·安全技术· 一种可证明安全的 ID-AKA 协议 王亚飞飞周本东b (平顶山学院 a. 继续教育学院; b. 现代教育技术中心，河南平顶山 467000) 摘要z 基于身份的认证密钥协商(ID-AKA)协议大多效率低F、安全性较低。针对该问题，提出一个新的 ID-AKA 协议。利用模块化的方 法证明新协议在mBR 模型满足抗密钥泄露模仿攻击、完美前向安全性以及 PKG-前向安全性。新协议还满足抗临时秘密泄露攻击。与同安 全级别的协议栩比，新协议的放率更高。 关键词:基于身份的认证密钥协商协议:可证明安全;模块化方法;双线性对;前向安全性 Security-provable Identity-based Authenticated Key Agreement Protocol WANG Ya-fei. , ZHOU Ben-dongb (a. School ofContinuing Education; b. Modem Education Technology Center, Pingdingshan Univer百ity， Pingdingshan 467000, China) IAbstract) Most Identity-based Authenticated Key Agr百ement(ID-AKA) prot侃。Is have poor performance on 能curity and the efficiency. To solve 由is problem , this paper presents an improved ID-AKA proωcol. Security proof with the modular approach in 也e mBR model is provided, which m饵ns 由e new prot倪。1 satisfies perfect forward security, PKG forward security, resistant to key-compromise impersonation. Furthermore, the new protocol can satisfY resistanceωleakage of ephemeral 优crets. Compared wi由 previous ID-AKA protocols which can satisfY the same 优curity prope此时， thenewproωcol has higher efficienc予 IKey 刑rds) Identity-based Authenticated Key Agreement( ID-AKA) proωcol; security-provable; modular approach; bilinear parings; Forward Security(FS) DOI: 10.3969/j.issn.1000-3428.20 12.09.043 q