基于CPK的TLS握手协议的设计与探究.pdfVIP

第42卷 第3期 电子 科 技 大 学 学 报 V_o1．42 No．3 2013年5月 JournalofUniversityofElectronicScienceandTechnologyofChina Mav 2013 基于CPK的TLS握手协议的设计与研究 程克非，贾廷强 (重庆邮电大学计算机科学与技术学院 重庆 南岸区 400065) 【摘要】TLS协议作为当今应用最广泛的传输层安全协议，受到了人们的极大关注，但是其 自身存在证书管理复杂、握 手交互过多和安全缺陷等诸多问题。对TLS握手协议分析和研究，并结合基于身份的组合公钥密码体制(CPK)的特点，提出了 基于CPK的握手协议方案。通过对其安全性分析和基于串空间模型理论的形式化证明，证明了该方案的安全可靠性高。在相 同安全条件下进行仿真，实验结果显示与原方案对比该方案具有握手交互次数少、鉴别筒捷、建立可信连接过程简单、高效 等明显优点。 关 键 词 组合公钥；握手协议；安全分析； 串空间模型：TLS 中图分类号 TP393．08 文献标志码 A doi：10．3969~．issn．1001．0548．2013．03．020 DesignandResearchofCPK-BasedTLSHandshakeProtocol CHENGKe-feiandJIATing-qiang (CollegeofComputerScienceandTechnology,ChongqingUniversityofPostsnadTelecommunicationsNananChongqing 400065) Abstraet Asoneofthemostwidelyappliedtransportlayersecurityprotocols．tl1etransportlayersecurity (TLS)protocolhascausedwidespreadattention，butitstillhasalotofproblems，suchascomplexce~ificate mnaagement，toomuchtimesofinteractiveshakehnads，safeyt defects，andSOon．Throughhteanabrsisand researchontl1eshkaehandsprotocoloftheTLS．nadcombninightefeaturesoftheidentiyt-basedcombin‘edpublic key(CPK)cryptosystems，anewCPK-basedhnadshkaeprotocoliSproposed．Thenew schemeiSmuchbetterin securiyt nadreliabilityprovedbyhtesecuriyt naalysisandhteformalnaalysisbasedonthestrnadspacetheory． The simulation experimentnad comparisonwiht orignialprotocolwiht equivalentsecuriyt show htathte CPK-basedhandshkaeprotocolhassomeobviousadvnatages．suchasmorelessnumberofshkaehnadsniteraction， moresimpleidentification，nadhtehighersecuriytnadreliabiliyt． Keywords combniedpublickey； handshkaeprotocol； securiyt analysis； srtandspacemodel； TLS TLS协议作为当今最流行的安全传输协议，被 cryptograph)的改进方案，但因IBC自身仍存在安全 广泛应用在各种网络服务中。但其在实际应用中并 缺陷，故该方案难 以应用到实践中。 非无懈可击，依然存在被攻击的可能性。文献