资源描述：
《eck 模型下可证明安全的双方认证密钥协商协议》由会员上传分享，免费在线阅读，更多相关内容在应用文档-天天文库。
1、第34卷第1期计算机学报Vol.34No.12011年1月CHINESEJOURNALOFCOMPUTERSJan.2011eCK模型下可证明安全的双方认证密钥协商协议1)2)赵建杰谷大武1)(上海交通大学信息安全工程学院上海200240)2)(上海交通大学计算机科学与工程系上海200240)摘要如何构造安全的密钥协商协议是信息安全领域富有挑战性的问题之一.然而目前多数安全协议只能达到启发式安全,协议的安全性假设和效率也不够理想.针对这些问题,文中提出了一种新的两轮双方认证密钥协商协议,通
2、过分析新协议的安全属性指出了构造双方认证密钥协商的一些原则.随后,在eCK模型下对新协议进行了严格的形式化证明,根据相关文献,eCK模型是目前关于双方密钥协商协议的安全程度最高的形式化模型.性能分析表明,新协议较好地平衡了计算量和安全性假设这两个协议评价指标.另外,为了实现新协议的密钥确认属性,文中提出了一种三轮变体协议.关键词密码学;认证密钥协商;可证明安全;eCK模型;密钥确认中图法分类号TP309DOI号:10.3724/SP.J.1016.2011.00047ProvablySecureTwoPartyAuth
3、enticatedKeyExchangeProtocolineCKModel1)2)ZHAOJianJieGUDaWu1)(SchoolofInformationSecurityEngineering,ShanghaiJiaotongUniversity,Shanghai200240)2)(DepartmentofComputerScienceandEngineering,ShanghaiJiaotongUniversity,Shanghai200240)AbstractHowtoconstructsecurekey
4、agreementprotocolisoneofthemostchallengingproblemsininformationsecurityarea.However,mostofthecurrentsecureprotocolscanonlyachieveheuristicsecurity,thesecurityassumptionsandefficienciesoftheseprotocolsarenotperfect.Tosolvetheseproblems,theauthorsproposeanew2roundst
5、wopartyauthenticatedkeyagreementprotocolandpointoutsomeprinciplestoconstructasecureprotocolbyanalyzingthesecuritypropertiesoftheprotocol,thenprovestrictlythatthenewprotocolissecureineCKmodel.Accordingtopertinentliterature,eCKmodelprovidesthestrongestdefinitionofse
6、curityfortwopartykeyagreementprotocolatpresent.Performanceanalysisshowsthattheprotocolhasagoodbalancebetweencomputationalcostandsecurityassumption.Theauthorsalsopresentathreeroundvariantoftheprotocoltorealizekeyconformationproperty.Keywordscryptography;authenticate
7、dkeyagreement;provablesecurity;eCKmodel;keyconfirmation通信一直是信息安全领域重要的研究方向.密钥协1引言商(keyagreement)协议可以帮助利用不安全信道(如互联网)通信的会话双方协商出一个共同的会话在开放的网络环境下,如何确保会话双方安全密钥,此密钥可以为后续通信提供保密、认证或完整收稿日期:20090906;最终修改稿收到日期:20101119.本课题得到国家八六三高技术研究发展计划项目基金(2006AA01Z405)资助.赵建杰,男,1981年生
8、,博士研究生,主要研究方向为安全协议及其应用.Email:jjzhao81@gmail.com.谷大武,男,1970年生,博士,教授,主要研究领域为密码学与计算机安全.48计算机学报2011年性等安全服务.近年来,学者们提出了大量的可满足不同安
