一种基于CAFL模型的抗弹性泄露密钥交换协议研究.pdfVIP

2016年第4期 ■ doi：103969j／．issn．1671-1122201604005 一 种基于CAFL模型的抗弹性泄露密钥 交换协议研究 陆思奇L，范书珲 ，韩旭 ，程庆丰 (1．洛阳外国语学院，河南洛阳471063；2．密码科学技术国家重点实验室，北京100878； 3．西安电子科技大学计算机学院，陕西西安710071) 摘 要 ：抗弹性泄露密钥交换协议的最初 目标就是将存储秘密泄露的危害降到最小，为此 Alawatugoda等人提出了基于CAFL安全模型的7r协议。该协议在被动攻击下即使一方长期密钥 泄露仍是安全的，但在主动攻击下如果一方临时密钥泄露则是不安全的。Toorani等人在2015 年给出了对该协议的临时密钥泄露攻击方法。文章针对该安全隐患，在CAFL模型下基于DDH 假设和CDH假设对 兀协议进行了改进，实现了协议参与双方的显式认证。在安全性方面，对 其在标准模型下以牺牲较小计算代价获得强安全性进行 了证明。此外，文章对 z-1协议和 石一2 协议的计算代价和安全性进行了分析和讨论。 关键词 ：弹性泄露 ；密钥交换 ；CAFL；临时密钥泄露攻击 中图分类号 ：TP309 文献标识码 ：A 文章编号 ：1671—1122(2016)04—0031—07 中文引用格式 ：陆思奇，范书珲，韩旭，等 ．一种基于CAFL模型的抗弹性泄露密钥交换协议研究 [J]． 信息网络安全，2016(4)：31—37． 英文引用格式 ：LUSiqi，FANShuhui，HANXu，eta1．ALeakageResilientAuthenticatedKeyExchange ProtocolBasedontheCAFLModel[J1．NetinfoSecurity，2016(4)：31—37． A LeakageResilientAuthenticatedKeyExchangeProtocolBasedon theCAFLM odel LUSiqi，FANShuhui，HANXu，CHENGQingfeng。 (1．LuoyangUniversityofForeignLanguages，LuoyangHenan471003，China；2．StateKeyLaboratoryof Cryptology，Beijing100878，China；3．SchoolofComputerScienceandTechnology，XidianUniversiyt，Xian Shaanxi710071，China) Abstract：Theinitialgoaloftheleakageresilientprotocolsistodecreasethedamagesresulted from leakageofstoredsecrets．Alawatugodaproposedageneticprotocol7gbasedonthesecureCAFL model，whichwasprovedtobelong—term keyrevealsecureunderpassiveattackbutnotephemeral keyrevealsecureunderactiveattack．In2015，f0rinstance，Tooraniproposedanephemeralkey compromiseimpersonationattacko