基于智能卡的强安全认证与密钥协商协议.pdfVIP

第 8期 电 子 学 报 Vo1．42 No．8 2014年 8月 ACrA EIECIR0NICA SINICA Aug． 2014 基于智能卡的强安全认证与密钥协商协议 李晓伟 ，张玉清 ，一，张格非 ，刘雪峰 ，范 丹 (1．西安电子科技大学 ISN国家重点实验室，陕西西安 710071；2．中国科学院大学国家计算机网络入侵防范中心，北京 100049) 摘 要：将认证与密钥协商(AuthenticatedKeyAgreement，AKA)协议所需的一种强安全属性——抗临时密钥泄露 攻击引入到基于智能卡和 口令的AKA协议中，基于NAXOS方法分别提出了基于智能卡的两方强安全 AKA协议和三 方强安全AKA协议．同时，首次给出了包含临时密钥泄露攻击的基于智能卡和口令的 协议的安全模型，并在该 模型下给了所提出协议的安全性证明．此外，文中还分析了抗临时密钥泄露攻击不能在仅使用口令的AKA协议中实 现的原因． 关键词： 认证与密钥协商协议；临时密钥泄露攻击 ；智能卡和口令；安全模型 中图分类号： TP393．08 文献标识码： A 文章编号： 0372—2112(2014)08—1587．07 电子学报URL：http：／／www．ejourna1．org．an DOI：10．3969／j．issn．0372—2112．2014．08．020 StronglySecureAuthenticatedKey AgreementProtocolUsingSmartCard LIXiao—wei，ZHANG Yu．qingl,2ZHANG Gei—fei，LIU Xue．feng，FAN Dan2 , (1． State胁 LabofISN，XidianUniversity， ’an，Shnanxi710071，China； 2．NationalComputerNetworkIntrusoinProt~toinCenter，UniversityofChineseAcademyofSciences，Beijing100049，China) Abstract： Bringastrongsecurityproperty，resistancetoephemeralkeyrevealattackwhichisneededintheauhtenticatedkey agreement(AKA)protocols，tohteAKAprotocolsusingsmartcardandpassword．AstronglySecuretwo—partyAKAprotocolas— ingsmartcardandastronglysecurethree-partyAKA protocolusnigsmartcardwereproposedrespectively．Meanwhile，htefirstse— curitymodelforAKA protocolsusnigsmartcardnadpasswordwhichincludeshteephemeralkeyrevealattackwasproposed ． The securiytproofoftheproposedprotocolswasgivennihtenewsecuriytmode1．Thereasonwhyhtepropertyofephemeralkeyr