blob: a694c5f33c8c5bbee1dbbfe7a98e2734d65fd021 [file] [log] [blame]
Adam Langleyd9e397b2015-01-22 14:27:53 -08001/* DTLS implementation written by Nagendra Modadugu
2 * (nagendra@cs.stanford.edu) for the OpenSSL project 2005. */
3/* ====================================================================
4 * Copyright (c) 1998-2005 The OpenSSL Project. All rights reserved.
5 *
6 * Redistribution and use in source and binary forms, with or without
7 * modification, are permitted provided that the following conditions
8 * are met:
9 *
10 * 1. Redistributions of source code must retain the above copyright
11 * notice, this list of conditions and the following disclaimer.
12 *
13 * 2. Redistributions in binary form must reproduce the above copyright
14 * notice, this list of conditions and the following disclaimer in
15 * the documentation and/or other materials provided with the
16 * distribution.
17 *
18 * 3. All advertising materials mentioning features or use of this
19 * software must display the following acknowledgment:
20 * "This product includes software developed by the OpenSSL Project
21 * for use in the OpenSSL Toolkit. (http://www.openssl.org/)"
22 *
23 * 4. The names "OpenSSL Toolkit" and "OpenSSL Project" must not be used to
24 * endorse or promote products derived from this software without
25 * prior written permission. For written permission, please contact
26 * openssl-core@openssl.org.
27 *
28 * 5. Products derived from this software may not be called "OpenSSL"
29 * nor may "OpenSSL" appear in their names without prior written
30 * permission of the OpenSSL Project.
31 *
32 * 6. Redistributions of any form whatsoever must retain the following
33 * acknowledgment:
34 * "This product includes software developed by the OpenSSL Project
35 * for use in the OpenSSL Toolkit (http://www.openssl.org/)"
36 *
37 * THIS SOFTWARE IS PROVIDED BY THE OpenSSL PROJECT ``AS IS'' AND ANY
38 * EXPRESSED OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
39 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
40 * PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE OpenSSL PROJECT OR
41 * ITS CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
42 * SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
43 * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
44 * LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
45 * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT,
46 * STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
47 * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED
48 * OF THE POSSIBILITY OF SUCH DAMAGE.
49 * ====================================================================
50 *
51 * This product includes cryptographic software written by Eric Young
52 * (eay@cryptsoft.com). This product includes software written by Tim
53 * Hudson (tjh@cryptsoft.com).
54 *
55 */
56/* Copyright (C) 1995-1998 Eric Young (eay@cryptsoft.com)
57 * All rights reserved.
58 *
59 * This package is an SSL implementation written
60 * by Eric Young (eay@cryptsoft.com).
61 * The implementation was written so as to conform with Netscapes SSL.
62 *
63 * This library is free for commercial and non-commercial use as long as
64 * the following conditions are aheared to. The following conditions
65 * apply to all code found in this distribution, be it the RC4, RSA,
66 * lhash, DES, etc., code; not just the SSL code. The SSL documentation
67 * included with this distribution is covered by the same copyright terms
68 * except that the holder is Tim Hudson (tjh@cryptsoft.com).
69 *
70 * Copyright remains Eric Young's, and as such any Copyright notices in
71 * the code are not to be removed.
72 * If this package is used in a product, Eric Young should be given attribution
73 * as the author of the parts of the library used.
74 * This can be in the form of a textual message at program startup or
75 * in documentation (online or textual) provided with the package.
76 *
77 * Redistribution and use in source and binary forms, with or without
78 * modification, are permitted provided that the following conditions
79 * are met:
80 * 1. Redistributions of source code must retain the copyright
81 * notice, this list of conditions and the following disclaimer.
82 * 2. Redistributions in binary form must reproduce the above copyright
83 * notice, this list of conditions and the following disclaimer in the
84 * documentation and/or other materials provided with the distribution.
85 * 3. All advertising materials mentioning features or use of this software
86 * must display the following acknowledgement:
87 * "This product includes cryptographic software written by
88 * Eric Young (eay@cryptsoft.com)"
89 * The word 'cryptographic' can be left out if the rouines from the library
90 * being used are not cryptographic related :-).
91 * 4. If you include any Windows specific code (or a derivative thereof) from
92 * the apps directory (application code) you must include an acknowledgement:
93 * "This product includes software written by Tim Hudson (tjh@cryptsoft.com)"
94 *
95 * THIS SOFTWARE IS PROVIDED BY ERIC YOUNG ``AS IS'' AND
96 * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
97 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
98 * ARE DISCLAIMED. IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
99 * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
100 * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
101 * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
102 * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
103 * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
104 * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
105 * SUCH DAMAGE.
106 *
107 * The licence and distribution terms for any publically available version or
108 * derivative of this code cannot be changed. i.e. this code cannot simply be
109 * copied and put under another distribution licence
110 * [including the GNU Public Licence.] */
111
Kenny Rootb8494592015-09-25 02:29:14 +0000112#include <openssl/ssl.h>
113
Adam Langleyd9e397b2015-01-22 14:27:53 -0800114#include <assert.h>
Adam Langleye9ada862015-05-11 17:20:37 -0700115#include <string.h>
Adam Langleyd9e397b2015-01-22 14:27:53 -0800116
David Benjamin6e899c72016-06-09 18:02:18 -0400117#include <openssl/bio.h>
Adam Langleyd9e397b2015-01-22 14:27:53 -0800118#include <openssl/buf.h>
David Benjamin6e899c72016-06-09 18:02:18 -0400119#include <openssl/bytestring.h>
Adam Langleyd9e397b2015-01-22 14:27:53 -0800120#include <openssl/mem.h>
121#include <openssl/evp.h>
122#include <openssl/err.h>
123#include <openssl/rand.h>
124
Robert Sloan69939df2017-01-09 10:53:07 -0800125#include "../crypto/internal.h"
Adam Langleye9ada862015-05-11 17:20:37 -0700126#include "internal.h"
Adam Langleyd9e397b2015-01-22 14:27:53 -0800127
128
Robert Sloanb6d070c2017-07-24 08:40:01 -0700129namespace bssl {
130
Robert Sloan36272962017-10-23 10:28:39 -0700131ssl_open_record_t dtls1_open_app_data(SSL *ssl, Span<uint8_t> *out,
132 size_t *out_consumed, uint8_t *out_alert,
133 Span<uint8_t> in) {
David Benjamin4969cc92016-04-22 15:02:23 -0400134 assert(!SSL_in_init(ssl));
Adam Langleyf4e42722015-06-04 17:45:09 -0700135
Robert Sloan36272962017-10-23 10:28:39 -0700136 uint8_t type;
137 Span<uint8_t> record;
138 auto ret = dtls_open_record(ssl, &type, &record, out_consumed, out_alert, in);
139 if (ret != ssl_open_record_success) {
140 return ret;
Adam Langleyd9e397b2015-01-22 14:27:53 -0800141 }
142
Robert Sloan36272962017-10-23 10:28:39 -0700143 if (type == SSL3_RT_HANDSHAKE) {
Robert Sloana27a6a42017-09-05 08:39:28 -0700144 // Parse the first fragment header to determine if this is a pre-CCS or
145 // post-CCS handshake record. DTLS resets handshake message numbers on each
146 // handshake, so renegotiations and retransmissions are ambiguous.
David Benjamin6e899c72016-06-09 18:02:18 -0400147 CBS cbs, body;
Adam Langleyd9e397b2015-01-22 14:27:53 -0800148 struct hm_header_st msg_hdr;
Robert Sloan36272962017-10-23 10:28:39 -0700149 CBS_init(&cbs, record.data(), record.size());
David Benjamin6e899c72016-06-09 18:02:18 -0400150 if (!dtls1_parse_fragment(&cbs, &msg_hdr, &body)) {
David Benjamin6e899c72016-06-09 18:02:18 -0400151 OPENSSL_PUT_ERROR(SSL, SSL_R_BAD_HANDSHAKE_RECORD);
Robert Sloan36272962017-10-23 10:28:39 -0700152 *out_alert = SSL_AD_DECODE_ERROR;
153 return ssl_open_record_error;
David Benjamin6e899c72016-06-09 18:02:18 -0400154 }
Adam Langleyd9e397b2015-01-22 14:27:53 -0800155
David Benjaminc895d6b2016-08-11 13:26:41 -0400156 if (msg_hdr.type == SSL3_MT_FINISHED &&
157 msg_hdr.seq == ssl->d1->handshake_read_seq - 1) {
Adam Langleye9ada862015-05-11 17:20:37 -0700158 if (msg_hdr.frag_off == 0) {
Robert Sloana27a6a42017-09-05 08:39:28 -0700159 // Retransmit our last flight of messages. If the peer sends the second
160 // Finished, they may not have received ours. Only do this for the
161 // first fragment, in case the Finished was fragmented.
Robert Sloanfe7cd212017-08-07 09:03:39 -0700162 if (!dtls1_check_timeout_num(ssl)) {
Robert Sloan36272962017-10-23 10:28:39 -0700163 *out_alert = 0; // TODO(davidben): Send an alert?
164 return ssl_open_record_error;
Adam Langleye9ada862015-05-11 17:20:37 -0700165 }
166
David Benjaminc895d6b2016-08-11 13:26:41 -0400167 dtls1_retransmit_outgoing_messages(ssl);
Adam Langleyd9e397b2015-01-22 14:27:53 -0800168 }
Robert Sloan36272962017-10-23 10:28:39 -0700169 return ssl_open_record_discard;
Adam Langleyd9e397b2015-01-22 14:27:53 -0800170 }
Adam Langleyd9e397b2015-01-22 14:27:53 -0800171
Robert Sloana27a6a42017-09-05 08:39:28 -0700172 // Otherwise, this is a pre-CCS handshake message from an unsupported
173 // renegotiation attempt. Fall through to the error path.
Adam Langley4139edb2016-01-13 15:00:54 -0800174 }
Adam Langleyd9e397b2015-01-22 14:27:53 -0800175
Robert Sloan36272962017-10-23 10:28:39 -0700176 if (type != SSL3_RT_APPLICATION_DATA) {
David Benjamin6e899c72016-06-09 18:02:18 -0400177 OPENSSL_PUT_ERROR(SSL, SSL_R_UNEXPECTED_RECORD);
Robert Sloan36272962017-10-23 10:28:39 -0700178 *out_alert = SSL_AD_UNEXPECTED_MESSAGE;
179 return ssl_open_record_error;
David Benjamin6e899c72016-06-09 18:02:18 -0400180 }
Adam Langleyd9e397b2015-01-22 14:27:53 -0800181
Robert Sloan36272962017-10-23 10:28:39 -0700182 if (record.empty()) {
183 return ssl_open_record_discard;
David Benjamin6e899c72016-06-09 18:02:18 -0400184 }
185
Robert Sloan36272962017-10-23 10:28:39 -0700186 *out = record;
187 return ssl_open_record_success;
Adam Langleyd9e397b2015-01-22 14:27:53 -0800188}
189
Robert Sloan29c1d2c2017-10-30 14:10:28 -0700190int dtls1_write_app_data(SSL *ssl, bool *out_needs_handshake, const uint8_t *in,
191 int len) {
David Benjamin4969cc92016-04-22 15:02:23 -0400192 assert(!SSL_in_init(ssl));
Robert Sloana27a6a42017-09-05 08:39:28 -0700193 *out_needs_handshake = false;
Adam Langleyd9e397b2015-01-22 14:27:53 -0800194
Robert Sloan36272962017-10-23 10:28:39 -0700195 if (ssl->s3->write_shutdown != ssl_shutdown_none) {
196 OPENSSL_PUT_ERROR(SSL, SSL_R_PROTOCOL_IS_SHUTDOWN);
197 return -1;
198 }
199
Adam Langleyd9e397b2015-01-22 14:27:53 -0800200 if (len > SSL3_RT_MAX_PLAIN_LENGTH) {
Kenny Rootb8494592015-09-25 02:29:14 +0000201 OPENSSL_PUT_ERROR(SSL, SSL_R_DTLS_MESSAGE_TOO_BIG);
Adam Langleyd9e397b2015-01-22 14:27:53 -0800202 return -1;
203 }
204
David Benjamin6e899c72016-06-09 18:02:18 -0400205 if (len < 0) {
206 OPENSSL_PUT_ERROR(SSL, SSL_R_BAD_LENGTH);
207 return -1;
208 }
209
210 if (len == 0) {
211 return 0;
212 }
213
Robert Sloan29c1d2c2017-10-30 14:10:28 -0700214 int ret = dtls1_write_record(ssl, SSL3_RT_APPLICATION_DATA, in, (size_t)len,
David Benjamin6e899c72016-06-09 18:02:18 -0400215 dtls1_use_current_epoch);
216 if (ret <= 0) {
217 return ret;
218 }
219 return len;
Adam Langleyd9e397b2015-01-22 14:27:53 -0800220}
221
Robert Sloan29c1d2c2017-10-30 14:10:28 -0700222int dtls1_write_record(SSL *ssl, int type, const uint8_t *in, size_t len,
David Benjamin6e899c72016-06-09 18:02:18 -0400223 enum dtls1_use_epoch_t use_epoch) {
Robert Sloan29c1d2c2017-10-30 14:10:28 -0700224 SSLBuffer *buf = &ssl->s3->write_buffer;
Adam Langleyd9e397b2015-01-22 14:27:53 -0800225 assert(len <= SSL3_RT_MAX_PLAIN_LENGTH);
Robert Sloana27a6a42017-09-05 08:39:28 -0700226 // There should never be a pending write buffer in DTLS. One can't write half
227 // a datagram, so the write buffer is always dropped in
228 // |ssl_write_buffer_flush|.
Robert Sloan29c1d2c2017-10-30 14:10:28 -0700229 assert(buf->empty());
Adam Langleyd9e397b2015-01-22 14:27:53 -0800230
Kenny Rootb8494592015-09-25 02:29:14 +0000231 if (len > SSL3_RT_MAX_PLAIN_LENGTH) {
232 OPENSSL_PUT_ERROR(SSL, ERR_R_INTERNAL_ERROR);
Adam Langleyf4e42722015-06-04 17:45:09 -0700233 return -1;
234 }
235
Adam Langleyf4e42722015-06-04 17:45:09 -0700236 size_t ciphertext_len;
Robert Sloan29c1d2c2017-10-30 14:10:28 -0700237 if (!buf->EnsureCap(ssl_seal_align_prefix_len(ssl),
238 len + SSL_max_seal_overhead(ssl)) ||
239 !dtls_seal_record(ssl, buf->remaining().data(), &ciphertext_len,
240 buf->remaining().size(), type, in, len, use_epoch)) {
241 buf->Clear();
Adam Langleye9ada862015-05-11 17:20:37 -0700242 return -1;
243 }
Robert Sloan29c1d2c2017-10-30 14:10:28 -0700244 buf->DidWrite(ciphertext_len);
Adam Langleyd9e397b2015-01-22 14:27:53 -0800245
Adam Langley4139edb2016-01-13 15:00:54 -0800246 int ret = ssl_write_buffer_flush(ssl);
Adam Langleyfad63272015-11-12 12:15:39 -0800247 if (ret <= 0) {
248 return ret;
249 }
David Benjamin6e899c72016-06-09 18:02:18 -0400250 return 1;
Adam Langleyd9e397b2015-01-22 14:27:53 -0800251}
252
Adam Langley4139edb2016-01-13 15:00:54 -0800253int dtls1_dispatch_alert(SSL *ssl) {
David Benjamin6e899c72016-06-09 18:02:18 -0400254 int ret = dtls1_write_record(ssl, SSL3_RT_ALERT, &ssl->s3->send_alert[0], 2,
255 dtls1_use_current_epoch);
David Benjamin4969cc92016-04-22 15:02:23 -0400256 if (ret <= 0) {
David Benjamin4969cc92016-04-22 15:02:23 -0400257 return ret;
Adam Langleyd9e397b2015-01-22 14:27:53 -0800258 }
Robert Sloan4d1ac502017-02-06 08:36:14 -0800259 ssl->s3->alert_dispatch = 0;
Adam Langleyd9e397b2015-01-22 14:27:53 -0800260
Robert Sloana27a6a42017-09-05 08:39:28 -0700261 // If the alert is fatal, flush the BIO now.
David Benjamin4969cc92016-04-22 15:02:23 -0400262 if (ssl->s3->send_alert[0] == SSL3_AL_FATAL) {
Adam Vartanianbfcf3a72018-08-10 14:55:24 +0100263 BIO_flush(ssl->wbio.get());
David Benjamin4969cc92016-04-22 15:02:23 -0400264 }
265
Robert Sloan921ef2c2017-10-17 09:02:20 -0700266 ssl_do_msg_callback(ssl, 1 /* write */, SSL3_RT_ALERT, ssl->s3->send_alert);
David Benjamin4969cc92016-04-22 15:02:23 -0400267
David Benjamin6e899c72016-06-09 18:02:18 -0400268 int alert = (ssl->s3->send_alert[0] << 8) | ssl->s3->send_alert[1];
269 ssl_do_info_callback(ssl, SSL_CB_WRITE_ALERT, alert);
David Benjamin4969cc92016-04-22 15:02:23 -0400270
271 return 1;
Adam Langleyd9e397b2015-01-22 14:27:53 -0800272}
Robert Sloanb6d070c2017-07-24 08:40:01 -0700273
274} // namespace bssl