blob: 677418b8d9fc5e8faaa14623e3ffa4366bf7953b [file] [log] [blame]
Adam Langley95c29f32014-06-20 12:00:00 -07001/*
2 * DTLS implementation written by Nagendra Modadugu
Adam Langleye745b252018-02-26 14:02:17 -08003 * (nagendra@cs.stanford.edu) for the OpenSSL project 2005.
Adam Langley95c29f32014-06-20 12:00:00 -07004 */
5/* ====================================================================
6 * Copyright (c) 1999-2005 The OpenSSL Project. All rights reserved.
7 *
8 * Redistribution and use in source and binary forms, with or without
9 * modification, are permitted provided that the following conditions
10 * are met:
11 *
12 * 1. Redistributions of source code must retain the above copyright
13 * notice, this list of conditions and the following disclaimer.
14 *
15 * 2. Redistributions in binary form must reproduce the above copyright
16 * notice, this list of conditions and the following disclaimer in
17 * the documentation and/or other materials provided with the
18 * distribution.
19 *
20 * 3. All advertising materials mentioning features or use of this
21 * software must display the following acknowledgment:
22 * "This product includes software developed by the OpenSSL Project
23 * for use in the OpenSSL Toolkit. (http://www.OpenSSL.org/)"
24 *
25 * 4. The names "OpenSSL Toolkit" and "OpenSSL Project" must not be used to
26 * endorse or promote products derived from this software without
27 * prior written permission. For written permission, please contact
28 * openssl-core@OpenSSL.org.
29 *
30 * 5. Products derived from this software may not be called "OpenSSL"
31 * nor may "OpenSSL" appear in their names without prior written
32 * permission of the OpenSSL Project.
33 *
34 * 6. Redistributions of any form whatsoever must retain the following
35 * acknowledgment:
36 * "This product includes software developed by the OpenSSL Project
37 * for use in the OpenSSL Toolkit (http://www.OpenSSL.org/)"
38 *
39 * THIS SOFTWARE IS PROVIDED BY THE OpenSSL PROJECT ``AS IS'' AND ANY
40 * EXPRESSED OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
41 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
42 * PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE OpenSSL PROJECT OR
43 * ITS CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
44 * SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
45 * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
46 * LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
47 * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT,
48 * STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
49 * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED
50 * OF THE POSSIBILITY OF SUCH DAMAGE.
51 * ====================================================================
52 *
53 * This product includes cryptographic software written by Eric Young
54 * (eay@cryptsoft.com). This product includes software written by Tim
55 * Hudson (tjh@cryptsoft.com). */
56
David Benjamin9e4e01e2015-09-15 01:48:04 -040057#include <openssl/ssl.h>
58
David Benjaminb6a0a512016-06-21 10:33:21 -040059#include <assert.h>
David Benjamin61672812016-07-14 23:10:43 -040060#include <string.h>
David Benjaminb6a0a512016-06-21 10:33:21 -040061
David Benjamin61672812016-07-14 23:10:43 -040062#include <openssl/err.h>
David Benjamin97718f12016-07-08 09:16:50 -070063
David Benjamin17cf2cb2016-12-13 01:07:13 -050064#include "../crypto/internal.h"
David Benjamin2ee94aa2015-04-07 22:38:30 -040065#include "internal.h"
Adam Langley95c29f32014-06-20 12:00:00 -070066
67
David Benjamin86e95b82017-07-18 16:34:25 -040068using namespace bssl;
69
David Benjamin9bbdf582017-08-02 19:46:29 -040070static void dtls1_on_handshake_complete(SSL *ssl) {
David Benjaminc11ea9422017-08-29 16:33:21 -040071 // Stop the reply timer left by the last flight we sent.
David Benjamin9bbdf582017-08-02 19:46:29 -040072 dtls1_stop_timer(ssl);
David Benjaminc11ea9422017-08-29 16:33:21 -040073 // If the final flight had a reply, we know the peer has received it. If not,
74 // we must leave the flight around for post-handshake retransmission.
David Benjamin302b8182017-08-22 14:47:22 -070075 if (ssl->d1->flight_has_reply) {
76 dtls_clear_outgoing_messages(ssl);
77 }
David Benjamin9bbdf582017-08-02 19:46:29 -040078}
David Benjamin0be6fc42016-12-03 23:23:52 -050079
David Benjaminb0921922020-02-20 12:33:28 -050080static bool dtls1_set_read_state(SSL *ssl, ssl_encryption_level_t level,
David Benjamin5298ef92020-03-13 12:17:30 -040081 UniquePtr<SSLAEADContext> aead_ctx,
82 Span<const uint8_t> secret_for_quic) {
83 assert(secret_for_quic.empty()); // QUIC does not use DTLS.
David Benjamin40e94702017-10-06 18:26:36 -040084 // Cipher changes are forbidden if the current epoch has leftover data.
85 if (dtls_has_unprocessed_handshake_data(ssl)) {
David Benjaminf9cc26f2020-02-09 16:49:31 -050086 OPENSSL_PUT_ERROR(SSL, SSL_R_EXCESS_HANDSHAKE_DATA);
David Benjamind1e3ce12017-10-06 18:31:15 -040087 ssl_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_UNEXPECTED_MESSAGE);
David Benjamin97250f42017-10-07 04:12:35 -040088 return false;
David Benjamin61672812016-07-14 23:10:43 -040089 }
90
91 ssl->d1->r_epoch++;
David Benjamin17cf2cb2016-12-13 01:07:13 -050092 OPENSSL_memset(&ssl->d1->bitmap, 0, sizeof(ssl->d1->bitmap));
David Benjamin32013e82022-09-22 16:55:34 -040093 ssl->s3->read_sequence = 0;
David Benjamin61672812016-07-14 23:10:43 -040094
David Benjamin8e7bbba2017-10-13 17:18:35 -040095 ssl->s3->aead_read_ctx = std::move(aead_ctx);
David Benjaminb0921922020-02-20 12:33:28 -050096 ssl->s3->read_level = level;
Anton Bikineev50e7ea52022-01-23 22:35:48 +010097 ssl->d1->has_change_cipher_spec = false;
David Benjamin97250f42017-10-07 04:12:35 -040098 return true;
David Benjamin61672812016-07-14 23:10:43 -040099}
100
David Benjaminb0921922020-02-20 12:33:28 -0500101static bool dtls1_set_write_state(SSL *ssl, ssl_encryption_level_t level,
David Benjamin5298ef92020-03-13 12:17:30 -0400102 UniquePtr<SSLAEADContext> aead_ctx,
103 Span<const uint8_t> secret_for_quic) {
104 assert(secret_for_quic.empty()); // QUIC does not use DTLS.
David Benjamin61672812016-07-14 23:10:43 -0400105 ssl->d1->w_epoch++;
David Benjamin32013e82022-09-22 16:55:34 -0400106 ssl->d1->last_write_sequence = ssl->s3->write_sequence;
107 ssl->s3->write_sequence = 0;
David Benjamin61672812016-07-14 23:10:43 -0400108
David Benjamin800046f2017-10-17 01:37:51 -0400109 ssl->d1->last_aead_write_ctx = std::move(ssl->s3->aead_write_ctx);
David Benjamin8e7bbba2017-10-13 17:18:35 -0400110 ssl->s3->aead_write_ctx = std::move(aead_ctx);
David Benjaminb0921922020-02-20 12:33:28 -0500111 ssl->s3->write_level = level;
David Benjamin97250f42017-10-07 04:12:35 -0400112 return true;
David Benjamin61672812016-07-14 23:10:43 -0400113}
114
David Benjamina2c42d72016-07-08 09:05:45 -0700115static const SSL_PROTOCOL_METHOD kDTLSProtocolMethod = {
David Benjamin97250f42017-10-07 04:12:35 -0400116 true /* is_dtls */,
David Benjamin9e13e1a2015-03-05 01:56:32 -0500117 dtls1_new,
118 dtls1_free,
David Benjamin9e13e1a2015-03-05 01:56:32 -0500119 dtls1_get_message,
David Benjamin8f94c312017-08-01 17:35:55 -0400120 dtls1_next_message,
David Benjaminf9cc26f2020-02-09 16:49:31 -0500121 dtls_has_unprocessed_handshake_data,
David Benjamind9229f92017-10-06 17:36:20 -0400122 dtls1_open_handshake,
123 dtls1_open_change_cipher_spec,
124 dtls1_open_app_data,
David Benjaminc933a472015-05-30 16:14:58 -0400125 dtls1_write_app_data,
David Benjamin9e13e1a2015-03-05 01:56:32 -0500126 dtls1_dispatch_alert,
David Benjamin75836432016-06-17 18:48:29 -0400127 dtls1_init_message,
128 dtls1_finish_message,
David Benjamindaf207a2017-01-03 18:37:41 -0500129 dtls1_add_message,
130 dtls1_add_change_cipher_spec,
David Benjamin8d5f9da2017-01-01 17:41:30 -0500131 dtls1_flush_flight,
David Benjamin9bbdf582017-08-02 19:46:29 -0400132 dtls1_on_handshake_complete,
David Benjamin61672812016-07-14 23:10:43 -0400133 dtls1_set_read_state,
134 dtls1_set_write_state,
David Benjamin82c9e902014-12-12 15:55:27 -0500135};
Adam Langley95c29f32014-06-20 12:00:00 -0700136
David Benjamin82c9e902014-12-12 15:55:27 -0500137const SSL_METHOD *DTLS_method(void) {
David Benjamina2c42d72016-07-08 09:05:45 -0700138 static const SSL_METHOD kMethod = {
David Benjamin82c9e902014-12-12 15:55:27 -0500139 0,
David Benjamina2c42d72016-07-08 09:05:45 -0700140 &kDTLSProtocolMethod,
Adam Langley3509dac2017-02-01 11:59:18 -0800141 &ssl_crypto_x509_method,
David Benjamin82c9e902014-12-12 15:55:27 -0500142 };
David Benjamina2c42d72016-07-08 09:05:45 -0700143 return &kMethod;
David Benjamin82c9e902014-12-12 15:55:27 -0500144}
Adam Langley95c29f32014-06-20 12:00:00 -0700145
David Benjaminba2d3df2017-08-04 13:59:24 -0400146const SSL_METHOD *DTLS_with_buffers_method(void) {
147 static const SSL_METHOD kMethod = {
148 0,
149 &kDTLSProtocolMethod,
150 &ssl_noop_x509_method,
151 };
152 return &kMethod;
153}
154
David Benjaminc11ea9422017-08-29 16:33:21 -0400155// Legacy version-locked methods.
David Benjamincde8aba2014-11-23 15:47:20 -0500156
David Benjamin82c9e902014-12-12 15:55:27 -0500157const SSL_METHOD *DTLSv1_2_method(void) {
David Benjamina2c42d72016-07-08 09:05:45 -0700158 static const SSL_METHOD kMethod = {
David Benjamin82c9e902014-12-12 15:55:27 -0500159 DTLS1_2_VERSION,
David Benjamina2c42d72016-07-08 09:05:45 -0700160 &kDTLSProtocolMethod,
Adam Langley3509dac2017-02-01 11:59:18 -0800161 &ssl_crypto_x509_method,
David Benjamin82c9e902014-12-12 15:55:27 -0500162 };
David Benjamina2c42d72016-07-08 09:05:45 -0700163 return &kMethod;
David Benjamin82c9e902014-12-12 15:55:27 -0500164}
David Benjamincde8aba2014-11-23 15:47:20 -0500165
David Benjamin82c9e902014-12-12 15:55:27 -0500166const SSL_METHOD *DTLSv1_method(void) {
David Benjamina2c42d72016-07-08 09:05:45 -0700167 static const SSL_METHOD kMethod = {
David Benjamin82c9e902014-12-12 15:55:27 -0500168 DTLS1_VERSION,
David Benjamina2c42d72016-07-08 09:05:45 -0700169 &kDTLSProtocolMethod,
Adam Langley3509dac2017-02-01 11:59:18 -0800170 &ssl_crypto_x509_method,
David Benjamin82c9e902014-12-12 15:55:27 -0500171 };
David Benjamina2c42d72016-07-08 09:05:45 -0700172 return &kMethod;
David Benjamin82c9e902014-12-12 15:55:27 -0500173}
David Benjamincde8aba2014-11-23 15:47:20 -0500174
David Benjaminc11ea9422017-08-29 16:33:21 -0400175// Legacy side-specific methods.
David Benjamincde8aba2014-11-23 15:47:20 -0500176
David Benjamin82c9e902014-12-12 15:55:27 -0500177const SSL_METHOD *DTLSv1_2_server_method(void) {
178 return DTLSv1_2_method();
179}
David Benjamincde8aba2014-11-23 15:47:20 -0500180
David Benjamin82c9e902014-12-12 15:55:27 -0500181const SSL_METHOD *DTLSv1_server_method(void) {
182 return DTLSv1_method();
183}
David Benjamincde8aba2014-11-23 15:47:20 -0500184
David Benjamin82c9e902014-12-12 15:55:27 -0500185const SSL_METHOD *DTLSv1_2_client_method(void) {
186 return DTLSv1_2_method();
187}
188
189const SSL_METHOD *DTLSv1_client_method(void) {
190 return DTLSv1_method();
191}
192
193const SSL_METHOD *DTLS_server_method(void) {
194 return DTLS_method();
195}
196
197const SSL_METHOD *DTLS_client_method(void) {
198 return DTLS_method();
199}