一種具有前向安全的TLS協(xié)議0-RTT握手方案

打開文本圖片集

基金項(xiàng)目：云南省計(jì)算機(jī)技術(shù)應(yīng)用重點(diǎn)實(shí)驗(yàn)室開放基金（批準(zhǔn)號：2021207）資助的課題。

作者簡介：蒲鸛雄（1996 -），碩士研究生，從事安全協(xié)議形式化分析的研究。

通訊作者：繆祥華（1972 -），副教授，從事信息安全、網(wǎng)絡(luò)安全、移動通信安全的研究，xianghuamiao @126.com。

引用本文：蒲鸛雄，繆祥華，袁梅宇.一種具有前向安全的TLS協(xié)議0-RTT握手方案[J].化工自動化及儀表，2023，50（6）：

000-000.

DOI：10.20030/j.cnki.1000-3932.202306000

摘  要  針對傳輸層安全協(xié)議（TLS）協(xié)議1.3版本在握手消息的第1個(gè)flight中傳輸應(yīng)用數(shù)據(jù)的0-RTT的握手方案，傳輸?shù)脑缙跀?shù)據(jù)由于不存在身份認(rèn)證，易遭受重放、偽造以及中間人攻擊，且不滿足前向安全的問題，提出一種具有前向安全的0-RTT優(yōu)化握手方案，使用tamarin安全協(xié)議形式化分析工具對改進(jìn)前、后的協(xié)議進(jìn)行形式化驗(yàn)證，結(jié)果表明：改進(jìn)方案的早期數(shù)據(jù)在原方案之上具有了前向保密的安全性質(zhì)。（剩余11768字）