blob: c3a9432bb339523ae58679c512ac8923c4298983 [file] [log] [blame]
Adam Langley95c29f32014-06-20 12:00:00 -07001/*
2 * DTLS implementation written by Nagendra Modadugu
3 * (nagendra@cs.stanford.edu) for the OpenSSL project 2005.
4 */
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>
Adam Langley95c29f32014-06-20 12:00:00 -070058
David Benjaminb5eb1952016-06-17 18:44:38 -040059#include <assert.h>
David Benjamin80cee912015-01-11 19:36:58 -050060#include <limits.h>
David Benjaminf0ae1702015-04-07 23:05:04 -040061#include <string.h>
Adam Langley95c29f32014-06-20 12:00:00 -070062
David Benjamin9e4e01e2015-09-15 01:48:04 -040063#include <openssl/err.h>
64#include <openssl/mem.h>
David Benjamin98193672016-03-25 18:07:11 -040065#include <openssl/nid.h>
David Benjamin9e4e01e2015-09-15 01:48:04 -040066
67#include "internal.h"
68
Adam Langley95c29f32014-06-20 12:00:00 -070069
David Benjamine33b9b02015-01-26 01:27:22 -050070/* DTLS1_MTU_TIMEOUTS is the maximum number of timeouts to expire
71 * before starting to decrease the MTU. */
72#define DTLS1_MTU_TIMEOUTS 2
73
74/* DTLS1_MAX_TIMEOUTS is the maximum number of timeouts to expire
75 * before failing the DTLS handshake. */
76#define DTLS1_MAX_TIMEOUTS 12
77
David Benjamin0d56f882015-12-19 17:05:56 -050078int dtls1_new(SSL *ssl) {
Adam Langley71d8a082014-12-13 16:28:18 -080079 DTLS1_STATE *d1;
Adam Langley95c29f32014-06-20 12:00:00 -070080
David Benjamin0d56f882015-12-19 17:05:56 -050081 if (!ssl3_new(ssl)) {
Adam Langley71d8a082014-12-13 16:28:18 -080082 return 0;
83 }
84 d1 = OPENSSL_malloc(sizeof *d1);
85 if (d1 == NULL) {
David Benjamin0d56f882015-12-19 17:05:56 -050086 ssl3_free(ssl);
Adam Langley71d8a082014-12-13 16:28:18 -080087 return 0;
88 }
89 memset(d1, 0, sizeof *d1);
Adam Langley95c29f32014-06-20 12:00:00 -070090
David Benjamin0d56f882015-12-19 17:05:56 -050091 ssl->d1 = d1;
David Benjamin62fd1622015-01-11 13:30:01 -050092
David Benjaminb83003e2015-12-30 17:39:26 -050093 /* Set the version to the highest supported version.
David Benjamin62fd1622015-01-11 13:30:01 -050094 *
David Benjaminb83003e2015-12-30 17:39:26 -050095 * TODO(davidben): Move this field into |s3|, have it store the normalized
96 * protocol version, and implement this pre-negotiation quirk in |SSL_version|
97 * at the API boundary rather than in internal state. */
David Benjamin0d56f882015-12-19 17:05:56 -050098 ssl->version = DTLS1_2_VERSION;
Adam Langley71d8a082014-12-13 16:28:18 -080099 return 1;
100}
Adam Langley95c29f32014-06-20 12:00:00 -0700101
David Benjamin0d56f882015-12-19 17:05:56 -0500102void dtls1_free(SSL *ssl) {
103 ssl3_free(ssl);
Adam Langley95c29f32014-06-20 12:00:00 -0700104
David Benjamin0d56f882015-12-19 17:05:56 -0500105 if (ssl == NULL || ssl->d1 == NULL) {
David Benjamin62fd1622015-01-11 13:30:01 -0500106 return;
107 }
108
David Benjaminec847ce2016-06-17 19:30:47 -0400109 dtls_clear_incoming_messages(ssl);
David Benjamin29a83c52016-06-17 19:12:54 -0400110 dtls_clear_outgoing_messages(ssl);
Adam Langley95c29f32014-06-20 12:00:00 -0700111
David Benjamin0d56f882015-12-19 17:05:56 -0500112 OPENSSL_free(ssl->d1);
113 ssl->d1 = NULL;
Adam Langley71d8a082014-12-13 16:28:18 -0800114}
Adam Langley95c29f32014-06-20 12:00:00 -0700115
David Benjamina1c90a52015-05-30 17:03:14 -0400116int dtls1_supports_cipher(const SSL_CIPHER *cipher) {
Matt Braithwaiteaf096752015-09-02 19:48:16 -0700117 /* DTLS does not support stream ciphers. The NULL cipher is rejected because
118 * it's not needed. */
119 return cipher->algorithm_enc != SSL_RC4 && cipher->algorithm_enc != SSL_eNULL;
Adam Langley71d8a082014-12-13 16:28:18 -0800120}
Adam Langley95c29f32014-06-20 12:00:00 -0700121
Taylor Brandstetter376a0fe2016-05-10 19:30:28 -0700122void DTLSv1_set_initial_timeout_duration(SSL *ssl, unsigned int duration_ms) {
123 ssl->initial_timeout_duration_ms = duration_ms;
124}
125
David Benjamin0d56f882015-12-19 17:05:56 -0500126void dtls1_start_timer(SSL *ssl) {
Taylor Brandstetter376a0fe2016-05-10 19:30:28 -0700127 /* If timer is not set, initialize duration (by default, 1 second) */
David Benjamin0d56f882015-12-19 17:05:56 -0500128 if (ssl->d1->next_timeout.tv_sec == 0 && ssl->d1->next_timeout.tv_usec == 0) {
Taylor Brandstetter376a0fe2016-05-10 19:30:28 -0700129 ssl->d1->timeout_duration_ms = ssl->initial_timeout_duration_ms;
Adam Langley71d8a082014-12-13 16:28:18 -0800130 }
Adam Langley95c29f32014-06-20 12:00:00 -0700131
Adam Langley71d8a082014-12-13 16:28:18 -0800132 /* Set timeout to current time */
David Benjamin721e8b72016-08-03 13:13:17 -0400133 ssl_get_current_time(ssl, &ssl->d1->next_timeout);
Adam Langley95c29f32014-06-20 12:00:00 -0700134
Adam Langley71d8a082014-12-13 16:28:18 -0800135 /* Add duration to current time */
Taylor Brandstetter376a0fe2016-05-10 19:30:28 -0700136 ssl->d1->next_timeout.tv_sec += ssl->d1->timeout_duration_ms / 1000;
137 ssl->d1->next_timeout.tv_usec += (ssl->d1->timeout_duration_ms % 1000) * 1000;
138 if (ssl->d1->next_timeout.tv_usec >= 1000000) {
139 ssl->d1->next_timeout.tv_sec++;
140 ssl->d1->next_timeout.tv_usec -= 1000000;
141 }
David Benjamin2f871122016-05-20 14:27:17 -0400142 BIO_ctrl(ssl->rbio, BIO_CTRL_DGRAM_SET_NEXT_TIMEOUT, 0,
David Benjamin0d56f882015-12-19 17:05:56 -0500143 &ssl->d1->next_timeout);
Adam Langley71d8a082014-12-13 16:28:18 -0800144}
Adam Langley95c29f32014-06-20 12:00:00 -0700145
David Benjamin4d2e7ce2015-05-08 13:29:45 -0400146int DTLSv1_get_timeout(const SSL *ssl, struct timeval *out) {
David Benjamince079fd2016-08-02 16:22:34 -0400147 if (!SSL_is_dtls(ssl)) {
David Benjamin8c249802015-05-05 09:44:18 -0400148 return 0;
149 }
Adam Langley95c29f32014-06-20 12:00:00 -0700150
Adam Langley71d8a082014-12-13 16:28:18 -0800151 /* If no timeout is set, just return NULL */
David Benjamin8c249802015-05-05 09:44:18 -0400152 if (ssl->d1->next_timeout.tv_sec == 0 && ssl->d1->next_timeout.tv_usec == 0) {
153 return 0;
Adam Langley71d8a082014-12-13 16:28:18 -0800154 }
Adam Langley95c29f32014-06-20 12:00:00 -0700155
David Benjamin4d2e7ce2015-05-08 13:29:45 -0400156 struct timeval timenow;
David Benjamin721e8b72016-08-03 13:13:17 -0400157 ssl_get_current_time(ssl, &timenow);
Adam Langley95c29f32014-06-20 12:00:00 -0700158
Adam Langley71d8a082014-12-13 16:28:18 -0800159 /* If timer already expired, set remaining time to 0 */
David Benjamin8c249802015-05-05 09:44:18 -0400160 if (ssl->d1->next_timeout.tv_sec < timenow.tv_sec ||
161 (ssl->d1->next_timeout.tv_sec == timenow.tv_sec &&
162 ssl->d1->next_timeout.tv_usec <= timenow.tv_usec)) {
David Benjamin4d2e7ce2015-05-08 13:29:45 -0400163 memset(out, 0, sizeof(struct timeval));
David Benjamin8c249802015-05-05 09:44:18 -0400164 return 1;
Adam Langley71d8a082014-12-13 16:28:18 -0800165 }
Adam Langley95c29f32014-06-20 12:00:00 -0700166
Adam Langley71d8a082014-12-13 16:28:18 -0800167 /* Calculate time left until timer expires */
David Benjamin4d2e7ce2015-05-08 13:29:45 -0400168 memcpy(out, &ssl->d1->next_timeout, sizeof(struct timeval));
David Benjamin8c249802015-05-05 09:44:18 -0400169 out->tv_sec -= timenow.tv_sec;
170 out->tv_usec -= timenow.tv_usec;
171 if (out->tv_usec < 0) {
172 out->tv_sec--;
173 out->tv_usec += 1000000;
Adam Langley71d8a082014-12-13 16:28:18 -0800174 }
Adam Langley95c29f32014-06-20 12:00:00 -0700175
Adam Langley71d8a082014-12-13 16:28:18 -0800176 /* If remaining time is less than 15 ms, set it to 0 to prevent issues
177 * because of small devergences with socket timeouts. */
David Benjamin8c249802015-05-05 09:44:18 -0400178 if (out->tv_sec == 0 && out->tv_usec < 15000) {
David Benjamin4d2e7ce2015-05-08 13:29:45 -0400179 memset(out, 0, sizeof(struct timeval));
Adam Langley71d8a082014-12-13 16:28:18 -0800180 }
Adam Langley95c29f32014-06-20 12:00:00 -0700181
David Benjamin8c249802015-05-05 09:44:18 -0400182 return 1;
Adam Langley71d8a082014-12-13 16:28:18 -0800183}
Adam Langley95c29f32014-06-20 12:00:00 -0700184
David Benjamin0d56f882015-12-19 17:05:56 -0500185int dtls1_is_timer_expired(SSL *ssl) {
David Benjamin4d2e7ce2015-05-08 13:29:45 -0400186 struct timeval timeleft;
Adam Langley95c29f32014-06-20 12:00:00 -0700187
Adam Langley71d8a082014-12-13 16:28:18 -0800188 /* Get time left until timeout, return false if no timer running */
David Benjamin0d56f882015-12-19 17:05:56 -0500189 if (!DTLSv1_get_timeout(ssl, &timeleft)) {
Adam Langley71d8a082014-12-13 16:28:18 -0800190 return 0;
191 }
Adam Langley95c29f32014-06-20 12:00:00 -0700192
Adam Langley71d8a082014-12-13 16:28:18 -0800193 /* Return false if timer is not expired yet */
194 if (timeleft.tv_sec > 0 || timeleft.tv_usec > 0) {
195 return 0;
196 }
Adam Langley95c29f32014-06-20 12:00:00 -0700197
Adam Langley71d8a082014-12-13 16:28:18 -0800198 /* Timer expired, so return true */
199 return 1;
200}
Adam Langley95c29f32014-06-20 12:00:00 -0700201
David Benjamin0d56f882015-12-19 17:05:56 -0500202void dtls1_double_timeout(SSL *ssl) {
Taylor Brandstetter376a0fe2016-05-10 19:30:28 -0700203 ssl->d1->timeout_duration_ms *= 2;
204 if (ssl->d1->timeout_duration_ms > 60000) {
205 ssl->d1->timeout_duration_ms = 60000;
Adam Langley71d8a082014-12-13 16:28:18 -0800206 }
David Benjamin0d56f882015-12-19 17:05:56 -0500207 dtls1_start_timer(ssl);
Adam Langley71d8a082014-12-13 16:28:18 -0800208}
Adam Langley95c29f32014-06-20 12:00:00 -0700209
David Benjamin0d56f882015-12-19 17:05:56 -0500210void dtls1_stop_timer(SSL *ssl) {
Adam Langley71d8a082014-12-13 16:28:18 -0800211 /* Reset everything */
David Benjamin0d56f882015-12-19 17:05:56 -0500212 ssl->d1->num_timeouts = 0;
213 memset(&ssl->d1->next_timeout, 0, sizeof(struct timeval));
Taylor Brandstetter376a0fe2016-05-10 19:30:28 -0700214 ssl->d1->timeout_duration_ms = ssl->initial_timeout_duration_ms;
David Benjamin2f871122016-05-20 14:27:17 -0400215 BIO_ctrl(ssl->rbio, BIO_CTRL_DGRAM_SET_NEXT_TIMEOUT, 0,
David Benjamin0d56f882015-12-19 17:05:56 -0500216 &ssl->d1->next_timeout);
Adam Langley71d8a082014-12-13 16:28:18 -0800217 /* Clear retransmission buffer */
David Benjamin29a83c52016-06-17 19:12:54 -0400218 dtls_clear_outgoing_messages(ssl);
Adam Langley71d8a082014-12-13 16:28:18 -0800219}
Adam Langley95c29f32014-06-20 12:00:00 -0700220
David Benjamin0d56f882015-12-19 17:05:56 -0500221int dtls1_check_timeout_num(SSL *ssl) {
222 ssl->d1->num_timeouts++;
Adam Langley95c29f32014-06-20 12:00:00 -0700223
Adam Langley71d8a082014-12-13 16:28:18 -0800224 /* Reduce MTU after 2 unsuccessful retransmissions */
David Benjamin0d56f882015-12-19 17:05:56 -0500225 if (ssl->d1->num_timeouts > DTLS1_MTU_TIMEOUTS &&
226 !(SSL_get_options(ssl) & SSL_OP_NO_QUERY_MTU)) {
David Benjamin2f871122016-05-20 14:27:17 -0400227 long mtu = BIO_ctrl(ssl->wbio, BIO_CTRL_DGRAM_GET_FALLBACK_MTU, 0, NULL);
David Benjamin80cee912015-01-11 19:36:58 -0500228 if (mtu >= 0 && mtu <= (1 << 30) && (unsigned)mtu >= dtls1_min_mtu()) {
David Benjamin0d56f882015-12-19 17:05:56 -0500229 ssl->d1->mtu = (unsigned)mtu;
David Benjamin80cee912015-01-11 19:36:58 -0500230 }
Adam Langley71d8a082014-12-13 16:28:18 -0800231 }
Adam Langley95c29f32014-06-20 12:00:00 -0700232
David Benjamin0d56f882015-12-19 17:05:56 -0500233 if (ssl->d1->num_timeouts > DTLS1_MAX_TIMEOUTS) {
Adam Langley71d8a082014-12-13 16:28:18 -0800234 /* fail the connection, enough alerts have been sent */
David Benjamin3570d732015-06-29 00:28:17 -0400235 OPENSSL_PUT_ERROR(SSL, SSL_R_READ_TIMEOUT_EXPIRED);
Adam Langley71d8a082014-12-13 16:28:18 -0800236 return -1;
237 }
Adam Langley95c29f32014-06-20 12:00:00 -0700238
Adam Langley71d8a082014-12-13 16:28:18 -0800239 return 0;
240}
Adam Langley95c29f32014-06-20 12:00:00 -0700241
David Benjamin8c249802015-05-05 09:44:18 -0400242int DTLSv1_handle_timeout(SSL *ssl) {
David Benjamin4c5ddb82016-03-11 22:56:19 -0500243 ssl->rwstate = SSL_NOTHING;
David Benjamin15c14882016-03-14 14:25:46 -0400244 /* Functions which use SSL_get_error must clear the error queue on entry. */
245 ERR_clear_error();
246
David Benjamince079fd2016-08-02 16:22:34 -0400247 if (!SSL_is_dtls(ssl)) {
Adam Langley71d8a082014-12-13 16:28:18 -0800248 return -1;
249 }
Adam Langley95c29f32014-06-20 12:00:00 -0700250
David Benjamin8c249802015-05-05 09:44:18 -0400251 /* if no timer is expired, don't do anything */
252 if (!dtls1_is_timer_expired(ssl)) {
253 return 0;
254 }
255
256 dtls1_double_timeout(ssl);
257
258 if (dtls1_check_timeout_num(ssl) < 0) {
259 return -1;
260 }
261
262 dtls1_start_timer(ssl);
David Benjaminaad50db2016-06-23 17:49:12 -0400263 return dtls1_retransmit_outgoing_messages(ssl);
Adam Langley71d8a082014-12-13 16:28:18 -0800264}
265
David Benjaminaa7734b2016-06-07 16:40:46 -0400266void dtls1_expect_flight(SSL *ssl) {
267 dtls1_start_timer(ssl);
268}
269
270void dtls1_received_flight(SSL *ssl) {
271 dtls1_stop_timer(ssl);
272}