共 50 条
- [1] The TLS Handshake Protocol: A Modular Analysis [J]. JOURNAL OF CRYPTOLOGY, 2010, 23 (02) : 187 - 223
- [5] A Modular Security Analysis of the TLS Handshake Protocol [J]. ADVANCES IN CRYPTOLOGY - ASIACRYPT 2008, 2008, 5350 : 55 - 73
- [6] A Cryptographic Analysis of the TLS 1.3 Handshake Protocol Candidates [J]. CCS'15: PROCEEDINGS OF THE 22ND ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY, 2015, : 1197 - 1210
- [7] A Formal Treatment of Accountable Proxying over TLS [J]. 2018 IEEE SYMPOSIUM ON SECURITY AND PRIVACY (SP), 2018, : 799 - 816
- [8] Proving the TLS Handshake Secure (As It Is) [J]. ADVANCES IN CRYPTOLOGY - CRYPTO 2014, PT II, 2014, 8617 : 235 - 255
- [9] An Improved TLS handshake protocol [J]. PROCEEDINGS OF THE 2015 3RD INTERNATIONAL CONFERENCE ON MACHINERY, MATERIALS AND INFORMATION TECHNOLOGY APPLICATIONS, 2015, 35 : 130 - 136
- [10] ISAKMP handshake for SSL/TLS [J]. GLOBECOM'03: IEEE GLOBAL TELECOMMUNICATIONS CONFERENCE, VOLS 1-7, 2003, : 1481 - 1485