TLS 1.3概述及多重握手安全性研究

文/李新宇

TLS 1.3概述及多重握手安全性研究

文/李新宇

TLS 1.3是IETF正在制定的TLS 新標準。TLS 自標準化至今已有近20年的時間，自1999年TLS 1.0標準頒布，到后來的TLS 1.1（2006年）和目前得到廣泛使用的TLS 1.2（2008年），TLS是保障網(wǎng)絡(luò)傳輸安全最重要的安全標準之一。然而，廣泛的應(yīng)用也使得TLS成為了攻擊的“眾矢之的”，這些攻擊或利用TLS設(shè)計本身存在的不足（如幸運十三攻擊[1]、三次握手攻擊[2]、跨協(xié)議攻擊[3]等），或利用TLS所用密碼原語本身的缺陷（如RC4加密[4]、RSA-PKCS#1 v1.5加密[5]等），或利用TLS實現(xiàn)庫中的漏洞（如心臟出血攻擊[6]等）。

面對這一系列的攻擊，一直以來我們采取的措施是“打補丁”，即針對新的攻擊做新的修補。然而，由于TLS的應(yīng)用規(guī)模過于龐大，不斷地打補丁在如此大規(guī)模的實際應(yīng)用中并不容易全面實施。除此之外，交互雙方必須運行復(fù)雜的TLS握手協(xié)議才能開始傳輸信息，很多情況下我們希望在握手輪數(shù)和握手延遲方面可以有更多的選擇。出于以上以及其他種種因素的考慮，IETF從2014年開始著手制定一個“clean”的TLS1.3。

TLS 1.3的制定過程

TLS 1.3的制定過程是“透明”的，即IETF發(fā)布的草案中會留下若干問題，相關(guān)領(lǐng)域的專家學(xué)者可以就這些問題或者自己有疑問的其他問題通過郵件系統(tǒng)進行在線討論[7]，而討論結(jié)果也會在更新后的草案版本中有所體現(xiàn)。目前最新發(fā)布的草案版本是TLS 1.3 draft 19[8]（2017年3月）。

除此之外，近兩年也出現(xiàn)了一系列對TLS 1.3草案的分析工作[9-13]，在標準正式頒布之前，這對于我們對TLS的全面理解以及TLS安全防護的設(shè)計是大有幫助的。

為什么是TLS 1.3

有一個比較有趣的細節(jié)，TLS新標準的名字并不是TLS 2.0或者其他名字，而是TLS 1.3，即延續(xù)了TLS 1.0、1.1和1.2的名稱。這說明1.3是之前版本的升級，TLS 協(xié)議的大致框架并未發(fā)生本質(zhì)改變。圖1、2為TLS 1.2和TLS 1.3握手協(xié)議的對比（細節(jié)請參照標準文檔）。然而，TLS 1.3是TLS標準更新過程中變動最大的一次，除了對運行過程中的若干問題如密碼套件的選擇、密鑰的計算方式、握手消息的發(fā)送方式等做了更改之外，TLS 1.3還增加了新的握手模式，以滿足不同應(yīng)用場景的需求。

圖1 TLS 1.2握手框架

圖2 TLS 1.3握手框架

TLS 1.3做出了哪些重大改動

與之前版本類似，TLS 1.3協(xié)議可分為握手協(xié)議和記錄協(xié)議，前者負責密碼組件的協(xié)商以及安全信道的建立，后者則是在已建立的安全信道中傳輸秘密信息。TLS 1.3設(shè)計的第一個重要目標就是避免之前版本存在的缺陷，為此，一部分相關(guān)的改動如下：

（1）禁止使用RSA密鑰傳輸算法。

（2）禁止一些安全性較弱的密碼原語如MD5的使用。

（3）不再支持重協(xié)商握手模式。

（4）握手消息采取了加密操作，如圖2中標有{}的部分。

（5）實現(xiàn)了握手協(xié)議和記錄協(xié)議的密鑰分離。

（6）實現(xiàn)了會話密鑰與整個握手消息的綁定。

（7）記錄層只能使用AEAD（Authenticated Encryption with Additional Data）認證加密模式。

相應(yīng)的改動還有很多，新發(fā)布的草案中也會明確說明相比之前版本所做的改動。這些改動不僅可以避免之前版本存在的問題，如上述（6）使得TLS可以避免三次握手攻擊。同時，也使得TLS的可證明安全分析工作更加方便，如上述（5）使得TLS 1.3可以實現(xiàn)密鑰不可區(qū)分性質(zhì)的證明，而在TLS1.2中，由于握手協(xié)議和記錄協(xié)議的重疊，無法實現(xiàn)這一目標的證明。

從目前發(fā)布的最新草案來看，TLS 1.3主要支持四種握手模式：（1）基于（EC）DHE密鑰交換的握手模式；（2）基于PSK的會話重啟，由預(yù)共享密鑰PSK進行快速簡短的握手；（3）會話重啟與（EC）DHE結(jié)合的握手，可以提供前向安全性；（4）基于PSK的0-RTT（round-trip time）握手，客戶端利用PSK導(dǎo)出密鑰，在第一輪就發(fā)送秘密數(shù)據(jù)，降低了握手的延遲。在此之后還可以繼續(xù)進行（EC）DHE的密鑰交換完成完整的握手（該步為可選）。注意到，0-RTT握手第一輪中加密數(shù)據(jù)所使用的密鑰并沒有服務(wù)器的貢獻，因此可能存在重放攻擊。另外，握手模式（4）與（2）或者（3）的區(qū)別僅在于是否在第一輪就傳輸秘密數(shù)據(jù)。

另外，TLS 1.3還定義了一種特殊的認證方式：后握手認證（post-handshake authentication）。在TLS握手過程中，客戶端的認證是可選的，所謂后握手認證指的是指握手結(jié)束后，允許服務(wù)器在任何時刻向客戶端發(fā)起身份認證的申請，作為回復(fù)，客戶端會發(fā)送證書以及對本次連接握手內(nèi)容的簽名，除此之外，還會發(fā)送密鑰確認消息以提供對整個握手消息和會話密鑰的確認。該條認證消息是在記錄層的安全信道中傳輸?shù)摹?/p>

TLS 1.3 draft 19發(fā)布之后，起草者Eric Rescorla在討論列表中列出了仍待解決的問題供大家討論[14]，由此可見TLS 新標準的制定工作仍然在進行中，而對于TLS 1.3的研究也會成為未來的熱點方向。與此同時，TLS 1.2仍然是目前甚至未來相當一段時間內(nèi)被普遍使用或者兼容的TLS 版本，這可能導(dǎo)致TLS 1.2對TLS 1.3的安全性帶來影響，這也是未來研究的重要方向。

多重握手安全性研究

TLS (Transport Layer Security)作為 SSL (Secure Sockets Layer)協(xié)議的后繼者，是目前網(wǎng)絡(luò)通信中應(yīng)用最廣泛的密碼協(xié)議，也是把密碼學(xué)應(yīng)用到實際中最重要、最典型的實例之一。TLS 1.2是目前最常用的TLS版本，主要用于保護通過HTTPs傳輸?shù)男畔ⅲ瑸楦鞣N應(yīng)用提供安全的通信信道，比如電子貨幣交易、郵件傳輸、VPN以及手機安卓應(yīng)用等等。

鑒于TLS 1.2及之前版本存在一系列的攻擊，比如重協(xié)商攻擊、幸運 13 攻擊、三次握手攻擊、BEAST攻擊、Heartbleed等，IETF 目前正在制定TLS新版本即TLS 1.3，目前最新發(fā)布的草案是draft-18。

TLS 1.2和已發(fā)布的TLS 1.3草案均支持多種握手模式，TLS 1.2支持完整握手、會話重啟握手、重協(xié)商握手等三種握手模式，TLS 1.3 draft 10(本文是針對TLS 1.3 draft 10所做的工作)支持完整握手、 0-RTT、基于 PSK 的會話重啟、會話重啟與 DHE 的結(jié)合等四種模式。除此之外，不同模式的握手并不是完全獨立的，而是存在一定的關(guān)聯(lián)并且可以組合運行，如運行TLS 1.2完整握手之后，可以利用完整握手產(chǎn)生的中間密鑰（成為主密鑰）進行接下來的會話重啟握手。然而，不同模式的握手協(xié)議的組合運行可能會導(dǎo)致實際的攻擊，如2014年Bhargavan等利用TLS 1.2三種不同模式的握手協(xié)議的順序運行提出了針對 TLS 1.2 的三次握手攻擊，可以造成在第三次握手完成之后敵手對客戶端的冒充攻擊。目前，雖然 TLS 每一種獨立的握手模式的安全性得到了很好的研究，但是組合情況下的安全性仍然是一個待解決的問題。

圖3 TLS1.3多重握手協(xié)議實例

我們首先利用多層、多階段的“樹”狀結(jié)構(gòu)給出多重握手（密鑰交換）協(xié)議的正式定義，每個節(jié)點對應(yīng)一個會話 (即一次握手協(xié)議)，每個會話分為多個階段，每個階段均會產(chǎn)生相應(yīng)的會話密鑰。除此之外，一個會話可能會使用位于上層的相關(guān)會話中建立或者傳輸?shù)拿荑€材料，而同一層的會話是獨立、并行運行的。圖3給出了TLS 1.3多重握手協(xié)議的一個實例，其中粗線表示的是“完整握手+ 0-RTT + 基于PSK 的會話重啟”多重握手組合運行模式，在這種情況下，第二層的0-RTT 握手使用的Server onfiguration 信息來源于上層的完整握手，而基于PSK 的會話重啟握手使用的PSK 來源于上層的0-RTT 會話產(chǎn)生的RMS。

然后，為了對多重握手協(xié)議進行安全性分析，我們提出了多重握手安全模型——多層多階段的安全模型。作為BR模型的擴展，多重握手安全模型主要具有以下性質(zhì)：該模型中，協(xié)議的每次執(zhí)行包含多個會話（握手），每次會話的模式也可能是不同的，而且相鄰會話之間可能存在安全關(guān)聯(lián)；該模型考慮了介于靜態(tài)密鑰和臨時密鑰之間的半靜態(tài)(semi-static) 密鑰，出發(fā)點是TLS 1.3的0-RTT握手模式；模型考慮了同一個會話中不同階段會話密鑰的相關(guān)性以及位于不同層的會話之間的密鑰相關(guān)性；模型還刻畫了多種認證模式即無認證、單向認證以及雙向認證的并行運行。模型中定義的安全目標為會話匹配與密鑰安全性，前者提供了直觀上的安全保障，比如匹配會話擁有相同的會話密鑰，誠實會話的會話記錄的不可碰撞性等性質(zhì)；后者則保證了會話密鑰的不可區(qū)分性。

最后，利用多重握手模型，我們對TLS多重握手協(xié)議進行了安全性分析。首先給出了TLS 1.3多重握手協(xié)議的安全性證明，該結(jié)果確認了TLS 1.3安全設(shè)計的可靠性；之后，我們說明，與對TLS 1.3的分析類似，多重握手模型也適用于TLS 1.2多重握手協(xié)議的安全性分析，分析表明，該模型可以識別針對TLS 1.2的三次握手攻擊，進一步證明了模型的有效性。

目前，TLS 1.3仍在制定過程中，相比于draft 10版本，目前的TLS 1.3對上述幾種握手模式如0-RTT的運行做出了一些更改，也加入了新的功能如post-handshake認證功能。這些更改對于TLS安全性的影響也是我們未來重點關(guān)注的對象。

（責編：楊潔）

[1]AlFardan N J, Paterson K G. Lucky thirteen: Breaking the TLS and DTLS record protocols[C]. Proceedings of 2013 IEEE Symposium on Security and Privacy (S&P), 2013. 526-540.

[2]Bhargavan K, Lavaud A D, Fournet C, et al. Triple handshakes and cookie cutters:Breaking and fixing authentication over TLS [C]. Proceedings of 2014 IEEE Symposium on Security and Privacy (S&P), 2014. 98-113.

[3]Mavrogiannopoulos N, Vercauteren F, Velichkov V, et al. A cross-protocol attack on the TLS protocol[C]//Proceedings of the 2012 ACM conference on Computer and communications security. ACM, 2012: 62-72.

[4]AlFardan N J, Bernstein D J, Paterson K G, et al. On the Security of RC4 in TLS [C].Proceedings of 22nd USENIX Security Symposium, 2013. 305-320.

[5]Bleichenbacher D. Chosen ciphertext attacks against protocols based on the RSA encryption standard PKCS #1 [C]. Advances in Cryptology—CRYPTO’98, 1998. 1-12.

[6]Codenomicon. The Heartbleed Bug [EB/OL]. http://heartbleed.com, April 2014.

[7]https://www.ietf.org/mail-archive/Web/tls/current/maillist.html.

[8]Rescorla E. The Transport Layer Security (TLS) Protocol Version 1.3 - draft-ietf-tlstls13-09[S]. https://tools.ietf.org/html/draft-ietf-tls-tls13-19, March, 2017.

[9]Dowling B, Fischlin M, Günther F, et al. A cryptographic analysis of the TLS 1.3 handshake protocol candidates [C]. Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security (CCS), 2015. 1197-1210.

[10]Cremers C, Horvat M, Scott S, et al. Automated analysis and verification of TLS 1.3:0-RTT, resumption and delayed authentication[C]//Security and Privacy (SP), 2016 IEEE Symposium on. IEEE, 2016: 470-485.

[11]Fischlin M, Günther F, Schmidt B, et al. Key confirmation in key exchange: a formal treatment and implications for TLS 1.3[C]//Security and Privacy (SP), 2016 IEEE Symposium on.IEEE, 2016: 452-469.

[12]Li X, Xu J, Zhang Z, et al. Multiple handshakes security of TLS 1.3 candidates[C]//Security and Privacy (SP), 2016 IEEE Symposium on. IEEE, 2016: 486-505.

[13]Krawczyk H, Wee H. The OPTLS protocol and TLS 1.3[C]//Security and Privacy(EuroS&P), 2016 IEEE European Symposium on. IEEE, 2016: 81-96.

[14]https://www.ietf.org/mail-archive/Web/tls/current/msg22593.html.

為中國科學(xué)院軟件研究所）

李新宇

本科、碩士就讀于中國科學(xué)技術(shù)大學(xué)，現(xiàn)為中國科學(xué)院軟件研究所在讀博士生，目前的研究方向主要為密碼協(xié)議的設(shè)計與安全性分析。