blob: bdc5ae9c993aa14a921012df3c4608d42602dffb [file] [log] [blame]
Adam Langley95c29f32014-06-20 12:00:00 -07001/* Copyright (C) 1995-1998 Eric Young (eay@cryptsoft.com)
2 * All rights reserved.
3 *
4 * This package is an SSL implementation written
5 * by Eric Young (eay@cryptsoft.com).
6 * The implementation was written so as to conform with Netscapes SSL.
7 *
8 * This library is free for commercial and non-commercial use as long as
9 * the following conditions are aheared to. The following conditions
10 * apply to all code found in this distribution, be it the RC4, RSA,
11 * lhash, DES, etc., code; not just the SSL code. The SSL documentation
12 * included with this distribution is covered by the same copyright terms
13 * except that the holder is Tim Hudson (tjh@cryptsoft.com).
14 *
15 * Copyright remains Eric Young's, and as such any Copyright notices in
16 * the code are not to be removed.
17 * If this package is used in a product, Eric Young should be given attribution
18 * as the author of the parts of the library used.
19 * This can be in the form of a textual message at program startup or
20 * in documentation (online or textual) provided with the package.
21 *
22 * Redistribution and use in source and binary forms, with or without
23 * modification, are permitted provided that the following conditions
24 * are met:
25 * 1. Redistributions of source code must retain the copyright
26 * notice, this list of conditions and the following disclaimer.
27 * 2. Redistributions in binary form must reproduce the above copyright
28 * notice, this list of conditions and the following disclaimer in the
29 * documentation and/or other materials provided with the distribution.
30 * 3. All advertising materials mentioning features or use of this software
31 * must display the following acknowledgement:
32 * "This product includes cryptographic software written by
33 * Eric Young (eay@cryptsoft.com)"
34 * The word 'cryptographic' can be left out if the rouines from the library
35 * being used are not cryptographic related :-).
36 * 4. If you include any Windows specific code (or a derivative thereof) from
37 * the apps directory (application code) you must include an acknowledgement:
38 * "This product includes software written by Tim Hudson (tjh@cryptsoft.com)"
39 *
40 * THIS SOFTWARE IS PROVIDED BY ERIC YOUNG ``AS IS'' AND
41 * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
42 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
43 * ARE DISCLAIMED. IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
44 * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
45 * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
46 * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
47 * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
48 * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
49 * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
50 * SUCH DAMAGE.
51 *
52 * The licence and distribution terms for any publically available version or
53 * derivative of this code cannot be changed. i.e. this code cannot simply be
54 * copied and put under another distribution licence
55 * [including the GNU Public Licence.]
56 */
57/* ====================================================================
58 * Copyright (c) 1998-2007 The OpenSSL Project. All rights reserved.
59 *
60 * Redistribution and use in source and binary forms, with or without
61 * modification, are permitted provided that the following conditions
62 * are met:
63 *
64 * 1. Redistributions of source code must retain the above copyright
65 * notice, this list of conditions and the following disclaimer.
66 *
67 * 2. Redistributions in binary form must reproduce the above copyright
68 * notice, this list of conditions and the following disclaimer in
69 * the documentation and/or other materials provided with the
70 * distribution.
71 *
72 * 3. All advertising materials mentioning features or use of this
73 * software must display the following acknowledgment:
74 * "This product includes software developed by the OpenSSL Project
75 * for use in the OpenSSL Toolkit. (http://www.openssl.org/)"
76 *
77 * 4. The names "OpenSSL Toolkit" and "OpenSSL Project" must not be used to
78 * endorse or promote products derived from this software without
79 * prior written permission. For written permission, please contact
80 * openssl-core@openssl.org.
81 *
82 * 5. Products derived from this software may not be called "OpenSSL"
83 * nor may "OpenSSL" appear in their names without prior written
84 * permission of the OpenSSL Project.
85 *
86 * 6. Redistributions of any form whatsoever must retain the following
87 * acknowledgment:
88 * "This product includes software developed by the OpenSSL Project
89 * for use in the OpenSSL Toolkit (http://www.openssl.org/)"
90 *
91 * THIS SOFTWARE IS PROVIDED BY THE OpenSSL PROJECT ``AS IS'' AND ANY
92 * EXPRESSED OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
93 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
94 * PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE OpenSSL PROJECT OR
95 * ITS CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
96 * SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
97 * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
98 * LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
99 * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT,
100 * STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
101 * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED
102 * OF THE POSSIBILITY OF SUCH DAMAGE.
103 * ====================================================================
104 *
105 * This product includes cryptographic software written by Eric Young
106 * (eay@cryptsoft.com). This product includes software written by Tim
107 * Hudson (tjh@cryptsoft.com).
108 *
109 */
110/* ====================================================================
111 * Copyright 2005 Nokia. All rights reserved.
112 *
113 * The portions of the attached software ("Contribution") is developed by
114 * Nokia Corporation and is licensed pursuant to the OpenSSL open source
115 * license.
116 *
117 * The Contribution, originally written by Mika Kousa and Pasi Eronen of
118 * Nokia Corporation, consists of the "PSK" (Pre-Shared Key) ciphersuites
119 * support (see RFC 4279) to OpenSSL.
120 *
121 * No patent licenses or other rights except those expressly stated in
122 * the OpenSSL open source license shall be deemed granted or received
123 * expressly, by implication, estoppel, or otherwise.
124 *
125 * No assurances are provided by Nokia that the Contribution does not
126 * infringe the patent or other intellectual property rights of any third
127 * party or that the license provides you with all the necessary rights
128 * to make use of the Contribution.
129 *
130 * THE SOFTWARE IS PROVIDED "AS IS" WITHOUT WARRANTY OF ANY KIND. IN
131 * ADDITION TO THE DISCLAIMERS INCLUDED IN THE LICENSE, NOKIA
132 * SPECIFICALLY DISCLAIMS ANY LIABILITY FOR CLAIMS BROUGHT BY YOU OR ANY
133 * OTHER ENTITY BASED ON INFRINGEMENT OF INTELLECTUAL PROPERTY RIGHTS OR
134 * OTHERWISE. */
135
136#include <stdio.h>
137#include <assert.h>
138
Adam Langley95c29f32014-06-20 12:00:00 -0700139#include <openssl/err.h>
140#include <openssl/evp.h>
141#include <openssl/hmac.h>
142#include <openssl/md5.h>
143#include <openssl/mem.h>
144#include <openssl/obj.h>
145#include <openssl/rand.h>
146
147#include "ssl_locl.h"
148
149/* seed1 through seed5 are virtually concatenated */
150static int tls1_P_hash(const EVP_MD *md, const unsigned char *sec,
151 int sec_len,
152 const void *seed1, int seed1_len,
153 const void *seed2, int seed2_len,
154 const void *seed3, int seed3_len,
155 const void *seed4, int seed4_len,
156 const void *seed5, int seed5_len,
157 unsigned char *out, int olen)
158 {
159 int chunk;
160 size_t j;
161 EVP_MD_CTX ctx, ctx_tmp, ctx_init;
162 EVP_PKEY *mac_key;
163 unsigned char A1[EVP_MAX_MD_SIZE];
164 size_t A1_len;
165 int ret = 0;
166
167 chunk=EVP_MD_size(md);
168
169 EVP_MD_CTX_init(&ctx);
170 EVP_MD_CTX_init(&ctx_tmp);
171 EVP_MD_CTX_init(&ctx_init);
172 mac_key = EVP_PKEY_new_mac_key(EVP_PKEY_HMAC, NULL, sec, sec_len);
173 if (!mac_key)
174 goto err;
175 if (!EVP_DigestSignInit(&ctx_init,NULL,md, NULL, mac_key))
176 goto err;
177 if (!EVP_MD_CTX_copy_ex(&ctx,&ctx_init))
178 goto err;
179 if (seed1 && !EVP_DigestSignUpdate(&ctx,seed1,seed1_len))
180 goto err;
181 if (seed2 && !EVP_DigestSignUpdate(&ctx,seed2,seed2_len))
182 goto err;
183 if (seed3 && !EVP_DigestSignUpdate(&ctx,seed3,seed3_len))
184 goto err;
185 if (seed4 && !EVP_DigestSignUpdate(&ctx,seed4,seed4_len))
186 goto err;
187 if (seed5 && !EVP_DigestSignUpdate(&ctx,seed5,seed5_len))
188 goto err;
189 if (!EVP_DigestSignFinal(&ctx,A1,&A1_len))
190 goto err;
191
192 for (;;)
193 {
194 /* Reinit mac contexts */
195 if (!EVP_MD_CTX_copy_ex(&ctx,&ctx_init))
196 goto err;
197 if (!EVP_DigestSignUpdate(&ctx,A1,A1_len))
198 goto err;
199 if (olen>chunk && !EVP_MD_CTX_copy_ex(&ctx_tmp,&ctx))
200 goto err;
201 if (seed1 && !EVP_DigestSignUpdate(&ctx,seed1,seed1_len))
202 goto err;
203 if (seed2 && !EVP_DigestSignUpdate(&ctx,seed2,seed2_len))
204 goto err;
205 if (seed3 && !EVP_DigestSignUpdate(&ctx,seed3,seed3_len))
206 goto err;
207 if (seed4 && !EVP_DigestSignUpdate(&ctx,seed4,seed4_len))
208 goto err;
209 if (seed5 && !EVP_DigestSignUpdate(&ctx,seed5,seed5_len))
210 goto err;
211
212 if (olen > chunk)
213 {
214 if (!EVP_DigestSignFinal(&ctx,out,&j))
215 goto err;
216 out+=j;
217 olen-=j;
218 /* calc the next A1 value */
219 if (!EVP_DigestSignFinal(&ctx_tmp,A1,&A1_len))
220 goto err;
221 }
222 else /* last one */
223 {
224 if (!EVP_DigestSignFinal(&ctx,A1,&A1_len))
225 goto err;
226 memcpy(out,A1,olen);
227 break;
228 }
229 }
230 ret = 1;
231err:
232 EVP_PKEY_free(mac_key);
233 EVP_MD_CTX_cleanup(&ctx);
234 EVP_MD_CTX_cleanup(&ctx_tmp);
235 EVP_MD_CTX_cleanup(&ctx_init);
236 OPENSSL_cleanse(A1,sizeof(A1));
237 return ret;
238 }
239
240/* seed1 through seed5 are virtually concatenated */
241static int tls1_PRF(long digest_mask,
242 const void *seed1, int seed1_len,
243 const void *seed2, int seed2_len,
244 const void *seed3, int seed3_len,
245 const void *seed4, int seed4_len,
246 const void *seed5, int seed5_len,
247 const unsigned char *sec, int slen,
248 unsigned char *out1,
249 unsigned char *out2, int olen)
250 {
251 int len,i,idx,count;
252 const unsigned char *S1;
253 long m;
254 const EVP_MD *md;
255 int ret = 0;
256
257 /* Count number of digests and partition sec evenly */
258 count=0;
259 for (idx=0;ssl_get_handshake_digest(idx,&m,&md);idx++) {
260 if ((m<<TLS1_PRF_DGST_SHIFT) & digest_mask) count++;
261 }
262 len=slen/count;
263 if (count == 1)
264 slen = 0;
265 S1=sec;
266 memset(out1,0,olen);
267 for (idx=0;ssl_get_handshake_digest(idx,&m,&md);idx++) {
268 if ((m<<TLS1_PRF_DGST_SHIFT) & digest_mask) {
269 if (!md) {
270 OPENSSL_PUT_ERROR(SSL, tls1_PRF, SSL_R_UNSUPPORTED_DIGEST_TYPE);
271 goto err;
272 }
273 if (!tls1_P_hash(md ,S1,len+(slen&1),
274 seed1,seed1_len,seed2,seed2_len,seed3,seed3_len,seed4,seed4_len,seed5,seed5_len,
275 out2,olen))
276 goto err;
277 S1+=len;
278 for (i=0; i<olen; i++)
279 {
280 out1[i]^=out2[i];
281 }
282 }
283 }
284 ret = 1;
285err:
286 return ret;
287}
288static int tls1_generate_key_block(SSL *s, unsigned char *km,
289 unsigned char *tmp, int num)
290 {
291 int ret;
292 ret = tls1_PRF(ssl_get_algorithm2(s),
293 TLS_MD_KEY_EXPANSION_CONST,TLS_MD_KEY_EXPANSION_CONST_SIZE,
294 s->s3->server_random,SSL3_RANDOM_SIZE,
295 s->s3->client_random,SSL3_RANDOM_SIZE,
296 NULL,0,NULL,0,
297 s->session->master_key,s->session->master_key_length,
298 km,tmp,num);
299#ifdef KSSL_DEBUG
300 printf("tls1_generate_key_block() ==> %d byte master_key =\n\t",
301 s->session->master_key_length);
302 {
303 int i;
304 for (i=0; i < s->session->master_key_length; i++)
305 {
306 printf("%02X", s->session->master_key[i]);
307 }
308 printf("\n"); }
309#endif /* KSSL_DEBUG */
310 return ret;
311 }
312
Adam Langleyc9fb3752014-06-20 12:00:00 -0700313/* tls1_aead_ctx_init allocates |*aead_ctx|, if needed and returns 1. It
314 * returns 0 on malloc error. */
315static int tls1_aead_ctx_init(SSL_AEAD_CTX **aead_ctx)
316 {
317 if (*aead_ctx != NULL)
318 EVP_AEAD_CTX_cleanup(&(*aead_ctx)->ctx);
319 else
320 {
321 *aead_ctx = (SSL_AEAD_CTX*) OPENSSL_malloc(sizeof(SSL_AEAD_CTX));
322 if (*aead_ctx == NULL)
323 {
324 OPENSSL_PUT_ERROR(SSL, tls1_aead_ctx_init, ERR_R_MALLOC_FAILURE);
325 return 0;
326 }
327 }
328
329 return 1;
330 }
331
332static int tls1_change_cipher_state_aead(SSL *s, char is_read,
333 const unsigned char *key, unsigned key_len,
334 const unsigned char *iv, unsigned iv_len)
335 {
336 const EVP_AEAD *aead = s->s3->tmp.new_aead;
337 SSL_AEAD_CTX *aead_ctx;
338
339 if (is_read)
340 {
341 if (!tls1_aead_ctx_init(&s->aead_read_ctx))
342 return 0;
343 aead_ctx = s->aead_read_ctx;
344 }
345 else
346 {
347 if (!tls1_aead_ctx_init(&s->aead_write_ctx))
348 return 0;
349 aead_ctx = s->aead_write_ctx;
350 }
351
352 if (!EVP_AEAD_CTX_init(&aead_ctx->ctx, aead, key, key_len,
353 EVP_AEAD_DEFAULT_TAG_LENGTH, NULL /* engine */))
354 return 0;
355 if (iv_len > sizeof(aead_ctx->fixed_nonce))
356 {
357 OPENSSL_PUT_ERROR(SSL, tls1_change_cipher_state_aead, ERR_R_INTERNAL_ERROR);
358 return 0;
359 }
360 memcpy(aead_ctx->fixed_nonce, iv, iv_len);
361 aead_ctx->fixed_nonce_len = iv_len;
362 aead_ctx->variable_nonce_len = 8; /* always the case, currently. */
Adam Langleyde0b2022014-06-20 12:00:00 -0700363 aead_ctx->variable_nonce_included_in_record =
364 (s->s3->tmp.new_cipher->algorithm2 & SSL_CIPHER_ALGORITHM2_VARIABLE_NONCE_INCLUDED_IN_RECORD) != 0;
Adam Langleyc9fb3752014-06-20 12:00:00 -0700365 if (aead_ctx->variable_nonce_len + aead_ctx->fixed_nonce_len != EVP_AEAD_nonce_length(aead))
366 {
367 OPENSSL_PUT_ERROR(SSL, tls1_change_cipher_state_aead, ERR_R_INTERNAL_ERROR);
368 return 0;
369 }
370 aead_ctx->tag_len = EVP_AEAD_max_overhead(aead);
371
372 return 1;
373 }
374
Adam Langleya5fa5b72014-06-20 12:00:00 -0700375/* tls1_change_cipher_state_cipher performs the work needed to switch cipher
376 * states when using EVP_CIPHER. The argument |is_read| is true iff this
377 * function is being called due to reading, as opposed to writing, a
378 * ChangeCipherSpec message. In order to support export ciphersuites,
379 * use_client_keys indicates whether the key material provided is in the
380 * "client write" direction. */
381static int tls1_change_cipher_state_cipher(
382 SSL *s, char is_read, char use_client_keys,
383 const unsigned char *mac_secret, unsigned mac_secret_len,
384 const unsigned char *key, unsigned key_len,
385 const unsigned char *iv, unsigned iv_len)
Adam Langley95c29f32014-06-20 12:00:00 -0700386 {
Adam Langleya5fa5b72014-06-20 12:00:00 -0700387 const EVP_CIPHER *cipher = s->s3->tmp.new_sym_enc;
388 const char is_export = SSL_C_IS_EXPORT(s->s3->tmp.new_cipher) != 0;
389 EVP_CIPHER_CTX *cipher_ctx;
Adam Langley95c29f32014-06-20 12:00:00 -0700390 EVP_MD_CTX *mac_ctx;
Adam Langley95c29f32014-06-20 12:00:00 -0700391
Adam Langleya5fa5b72014-06-20 12:00:00 -0700392 unsigned char export_tmp1[EVP_MAX_KEY_LENGTH];
393 unsigned char export_tmp2[EVP_MAX_KEY_LENGTH];
394 unsigned char export_iv1[EVP_MAX_IV_LENGTH * 2];
395 unsigned char export_iv2[EVP_MAX_IV_LENGTH * 2];
Adam Langley95c29f32014-06-20 12:00:00 -0700396
Adam Langleya5fa5b72014-06-20 12:00:00 -0700397 if (is_read)
Adam Langley95c29f32014-06-20 12:00:00 -0700398 {
399 if (s->s3->tmp.new_cipher->algorithm2 & TLS1_STREAM_MAC)
400 s->mac_flags |= SSL_MAC_FLAG_READ_MAC_STREAM;
401 else
402 s->mac_flags &= ~SSL_MAC_FLAG_READ_MAC_STREAM;
403
Adam Langleya5fa5b72014-06-20 12:00:00 -0700404 if (s->enc_read_ctx != NULL && !SSL_IS_DTLS(s))
405 EVP_CIPHER_CTX_cleanup(s->enc_read_ctx);
406 else if ((s->enc_read_ctx=EVP_CIPHER_CTX_new()) == NULL)
Adam Langley95c29f32014-06-20 12:00:00 -0700407 goto err;
Adam Langleya5fa5b72014-06-20 12:00:00 -0700408
409 cipher_ctx = s->enc_read_ctx;
410 mac_ctx = ssl_replace_hash(&s->read_hash, NULL);
411
412 memcpy(s->s3->read_mac_secret, mac_secret, mac_secret_len);
413 s->s3->read_mac_secret_size = mac_secret_len;
Adam Langley95c29f32014-06-20 12:00:00 -0700414 }
415 else
416 {
417 if (s->s3->tmp.new_cipher->algorithm2 & TLS1_STREAM_MAC)
418 s->mac_flags |= SSL_MAC_FLAG_WRITE_MAC_STREAM;
Adam Langleya5fa5b72014-06-20 12:00:00 -0700419 else
Adam Langley95c29f32014-06-20 12:00:00 -0700420 s->mac_flags &= ~SSL_MAC_FLAG_WRITE_MAC_STREAM;
Adam Langleya5fa5b72014-06-20 12:00:00 -0700421
422 /* When updating the write contexts for DTLS, we do not wish to
423 * free the old ones because DTLS stores pointers to them in
424 * order to implement retransmission. */
425
Adam Langley95c29f32014-06-20 12:00:00 -0700426 if (s->enc_write_ctx != NULL && !SSL_IS_DTLS(s))
Adam Langleya5fa5b72014-06-20 12:00:00 -0700427 EVP_CIPHER_CTX_cleanup(s->enc_write_ctx);
428 else if ((s->enc_write_ctx=OPENSSL_malloc(sizeof(EVP_CIPHER_CTX))) == NULL)
Adam Langley95c29f32014-06-20 12:00:00 -0700429 goto err;
Adam Langleya5fa5b72014-06-20 12:00:00 -0700430 else
431 /* make sure it's intialized in case we exit later with an error */
432 EVP_CIPHER_CTX_init(s->enc_write_ctx);
433
434 cipher_ctx = s->enc_write_ctx;
Adam Langley95c29f32014-06-20 12:00:00 -0700435 if (SSL_IS_DTLS(s))
436 {
Adam Langleya5fa5b72014-06-20 12:00:00 -0700437 /* This is the same as ssl_replace_hash, but doesn't
438 * free the old |s->write_hash|. */
Adam Langley95c29f32014-06-20 12:00:00 -0700439 mac_ctx = EVP_MD_CTX_create();
440 if (!mac_ctx)
441 goto err;
442 s->write_hash = mac_ctx;
443 }
444 else
Adam Langleya5fa5b72014-06-20 12:00:00 -0700445 mac_ctx = ssl_replace_hash(&s->write_hash, NULL);
446
447 memcpy(s->s3->write_mac_secret, mac_secret, mac_secret_len);
448 s->s3->write_mac_secret_size = mac_secret_len;
Adam Langley95c29f32014-06-20 12:00:00 -0700449 }
450
Adam Langley95c29f32014-06-20 12:00:00 -0700451 if (is_export)
452 {
453 /* In here I set both the read and write key/iv to the
454 * same value since only the correct one will be used :-).
455 */
Adam Langleya5fa5b72014-06-20 12:00:00 -0700456 const unsigned char *label;
457 unsigned label_len;
Adam Langley95c29f32014-06-20 12:00:00 -0700458
Adam Langleya5fa5b72014-06-20 12:00:00 -0700459 if (use_client_keys)
Adam Langley95c29f32014-06-20 12:00:00 -0700460 {
Adam Langleya5fa5b72014-06-20 12:00:00 -0700461 label = (const unsigned char*) TLS_MD_CLIENT_WRITE_KEY_CONST;
462 label_len = TLS_MD_CLIENT_WRITE_KEY_CONST_SIZE;
463 }
464 else
465 {
466 label = (const unsigned char*) TLS_MD_SERVER_WRITE_KEY_CONST;
467 label_len = TLS_MD_SERVER_WRITE_KEY_CONST_SIZE;
468 }
469
470 if (!tls1_PRF(ssl_get_algorithm2(s),
471 label, label_len,
472 s->s3->client_random, SSL3_RANDOM_SIZE,
473 s->s3->server_random, SSL3_RANDOM_SIZE,
474 NULL, 0, NULL, 0,
475 key /* secret */, key_len /* secret length */,
476 export_tmp1 /* output */,
477 export_tmp2 /* scratch space */,
478 EVP_CIPHER_key_length(s->s3->tmp.new_sym_enc) /* output length */))
479 return 0;
480 key = export_tmp1;
481
482 if (iv_len > 0)
483 {
484 static const unsigned char empty[] = "";
485
Adam Langley95c29f32014-06-20 12:00:00 -0700486 if (!tls1_PRF(ssl_get_algorithm2(s),
Adam Langleya5fa5b72014-06-20 12:00:00 -0700487 TLS_MD_IV_BLOCK_CONST, TLS_MD_IV_BLOCK_CONST_SIZE,
488 s->s3->client_random, SSL3_RANDOM_SIZE,
489 s->s3->server_random, SSL3_RANDOM_SIZE,
490 NULL, 0, NULL, 0,
491 empty /* secret */ ,0 /* secret length */,
492 export_iv1 /* output */,
493 export_iv2 /* scratch space */,
494 iv_len * 2 /* output length */))
495 return 0;
496
497 if (use_client_keys)
498 iv = export_iv1;
Adam Langley95c29f32014-06-20 12:00:00 -0700499 else
Adam Langleya5fa5b72014-06-20 12:00:00 -0700500 iv = &export_iv1[iv_len];
Adam Langley95c29f32014-06-20 12:00:00 -0700501 }
502 }
503
Victor Vasiliev508c29f2014-06-25 11:19:26 -0400504 EVP_PKEY *mac_key =
505 EVP_PKEY_new_mac_key(s->s3->tmp.new_mac_pkey_type,
506 NULL, mac_secret, mac_secret_len);
507 if (!mac_key)
508 return 0;
509 EVP_DigestSignInit(mac_ctx, NULL, s->s3->tmp.new_hash, NULL, mac_key);
510 EVP_PKEY_free(mac_key);
Adam Langley95c29f32014-06-20 12:00:00 -0700511
Victor Vasiliev508c29f2014-06-25 11:19:26 -0400512 EVP_CipherInit_ex(cipher_ctx, cipher, NULL /* engine */, key, iv, !is_read);
Adam Langley95c29f32014-06-20 12:00:00 -0700513
Adam Langleya5fa5b72014-06-20 12:00:00 -0700514 if (is_export)
Adam Langley95c29f32014-06-20 12:00:00 -0700515 {
Adam Langleya5fa5b72014-06-20 12:00:00 -0700516 OPENSSL_cleanse(export_tmp1, sizeof(export_tmp1));
517 OPENSSL_cleanse(export_tmp2, sizeof(export_tmp1));
518 OPENSSL_cleanse(export_iv1, sizeof(export_iv1));
519 OPENSSL_cleanse(export_iv2, sizeof(export_iv2));
Adam Langley95c29f32014-06-20 12:00:00 -0700520 }
Adam Langley95c29f32014-06-20 12:00:00 -0700521
Adam Langleya5fa5b72014-06-20 12:00:00 -0700522 return 1;
Adam Langley95c29f32014-06-20 12:00:00 -0700523
Adam Langley95c29f32014-06-20 12:00:00 -0700524err:
Adam Langleya5fa5b72014-06-20 12:00:00 -0700525 OPENSSL_PUT_ERROR(SSL, tls1_change_cipher_state_cipher, ERR_R_MALLOC_FAILURE);
526 return 0;
527 }
528
529int tls1_change_cipher_state(SSL *s, int which)
530 {
531 /* is_read is true if we have just read a ChangeCipherSpec message -
532 * i.e. we need to update the read cipherspec. Otherwise we have just
533 * written one. */
534 const char is_read = (which & SSL3_CC_READ) != 0;
535 /* use_client_keys is true if we wish to use the keys for the "client
536 * write" direction. This is the case if we're a client sending a
537 * ChangeCipherSpec, or a server reading a client's ChangeCipherSpec. */
538 const char use_client_keys = which == SSL3_CHANGE_CIPHER_CLIENT_WRITE ||
539 which == SSL3_CHANGE_CIPHER_SERVER_READ;
540 const unsigned char *client_write_mac_secret, *server_write_mac_secret, *mac_secret;
541 const unsigned char *client_write_key, *server_write_key, *key;
542 const unsigned char *client_write_iv, *server_write_iv, *iv;
543 const EVP_CIPHER *cipher = s->s3->tmp.new_sym_enc;
Adam Langleyc9fb3752014-06-20 12:00:00 -0700544 const EVP_AEAD *aead = s->s3->tmp.new_aead;
Adam Langleya5fa5b72014-06-20 12:00:00 -0700545 unsigned key_len, iv_len, mac_secret_len;
546 const unsigned char *key_data;
547 const char is_export = SSL_C_IS_EXPORT(s->s3->tmp.new_cipher) != 0;
548
549 /* Reset sequence number to zero. */
550 if (s->version != DTLS1_VERSION)
551 memset(is_read ? s->s3->read_sequence : s->s3->write_sequence, 0, 8);
552
553 /* key_arg is used for SSLv2. We don't need it for TLS. */
554 s->session->key_arg_length = 0;
555
556 mac_secret_len = s->s3->tmp.new_mac_secret_size;
557
Adam Langleyc9fb3752014-06-20 12:00:00 -0700558 if (aead != NULL)
559 {
560 key_len = EVP_AEAD_key_length(aead);
561 iv_len = SSL_CIPHER_AEAD_FIXED_NONCE_LEN(s->s3->tmp.new_cipher);
562 }
Adam Langleya5fa5b72014-06-20 12:00:00 -0700563 else
Adam Langleyc9fb3752014-06-20 12:00:00 -0700564 {
565 key_len = EVP_CIPHER_key_length(cipher);
566 if (is_export && key_len > SSL_C_EXPORT_KEYLENGTH(s->s3->tmp.new_cipher))
567 key_len = SSL_C_EXPORT_KEYLENGTH(s->s3->tmp.new_cipher);
568
569 if (EVP_CIPHER_mode(cipher) == EVP_CIPH_GCM_MODE)
570 iv_len = EVP_GCM_TLS_FIXED_IV_LEN;
571 else
572 iv_len = EVP_CIPHER_iv_length(cipher);
573 }
Adam Langleya5fa5b72014-06-20 12:00:00 -0700574
575 key_data = s->s3->tmp.key_block;
576 client_write_mac_secret = key_data; key_data += mac_secret_len;
577 server_write_mac_secret = key_data; key_data += mac_secret_len;
578 client_write_key = key_data; key_data += key_len;
579 server_write_key = key_data; key_data += key_len;
580 client_write_iv = key_data; key_data += iv_len;
581 server_write_iv = key_data; key_data += iv_len;
582
583 if (use_client_keys)
584 {
585 mac_secret = client_write_mac_secret;
586 key = client_write_key;
587 iv = client_write_iv;
588 }
589 else
590 {
591 mac_secret = server_write_mac_secret;
592 key = server_write_key;
593 iv = server_write_iv;
594 }
595
596 if (key_data - s->s3->tmp.key_block != s->s3->tmp.key_block_length)
597 {
598 OPENSSL_PUT_ERROR(SSL, tls1_change_cipher_state, ERR_R_INTERNAL_ERROR);
599 return 0;
600 }
601
Adam Langleyc9fb3752014-06-20 12:00:00 -0700602 if (aead != NULL)
603 {
604 if (!tls1_change_cipher_state_aead(s, is_read,
605 key, key_len, iv, iv_len))
606 return 0;
607 }
608 else
609 {
610 if (!tls1_change_cipher_state_cipher(s, is_read, use_client_keys,
611 mac_secret, mac_secret_len,
612 key, key_len,
613 iv, iv_len))
614 return 0;
615 }
Adam Langleya5fa5b72014-06-20 12:00:00 -0700616
617 return 1;
Adam Langley95c29f32014-06-20 12:00:00 -0700618 }
619
620int tls1_setup_key_block(SSL *s)
621 {
622 unsigned char *p1,*p2=NULL;
Adam Langleyc9fb3752014-06-20 12:00:00 -0700623 const EVP_CIPHER *c = NULL;
624 const EVP_MD *hash = NULL;
625 const EVP_AEAD *aead = NULL;
Adam Langley95c29f32014-06-20 12:00:00 -0700626 int num;
Adam Langley95c29f32014-06-20 12:00:00 -0700627 int mac_type= NID_undef,mac_secret_size=0;
628 int ret=0;
Adam Langleyc9fb3752014-06-20 12:00:00 -0700629 unsigned key_len, iv_len;
Adam Langley95c29f32014-06-20 12:00:00 -0700630
631#ifdef KSSL_DEBUG
632 printf ("tls1_setup_key_block()\n");
633#endif /* KSSL_DEBUG */
634
635 if (s->s3->tmp.key_block_length != 0)
636 return(1);
637
Adam Langleyc9fb3752014-06-20 12:00:00 -0700638 if (s->session->cipher &&
639 (s->session->cipher->algorithm2 & SSL_CIPHER_ALGORITHM2_AEAD))
Adam Langley95c29f32014-06-20 12:00:00 -0700640 {
Adam Langleyc9fb3752014-06-20 12:00:00 -0700641 if (!ssl_cipher_get_evp_aead(s->session, &aead))
642 goto cipher_unavailable_err;
643 key_len = EVP_AEAD_key_length(aead);
644 iv_len = SSL_CIPHER_AEAD_FIXED_NONCE_LEN(s->session->cipher);
645 }
646 else
647 {
648 if (!ssl_cipher_get_evp(s->session,&c,&hash,&mac_type,&mac_secret_size))
649 goto cipher_unavailable_err;
650 key_len = EVP_CIPHER_key_length(c);
651
652 if (EVP_CIPHER_mode(c) == EVP_CIPH_GCM_MODE)
653 iv_len = EVP_GCM_TLS_FIXED_IV_LEN;
654 else
655 iv_len = EVP_CIPHER_iv_length(c);
Adam Langley95c29f32014-06-20 12:00:00 -0700656 }
657
Adam Langleyc9fb3752014-06-20 12:00:00 -0700658 s->s3->tmp.new_aead=aead;
Adam Langley95c29f32014-06-20 12:00:00 -0700659 s->s3->tmp.new_sym_enc=c;
660 s->s3->tmp.new_hash=hash;
661 s->s3->tmp.new_mac_pkey_type = mac_type;
662 s->s3->tmp.new_mac_secret_size = mac_secret_size;
Adam Langleyc9fb3752014-06-20 12:00:00 -0700663
664 num=key_len+mac_secret_size+iv_len;
Adam Langley95c29f32014-06-20 12:00:00 -0700665 num*=2;
666
667 ssl3_cleanup_key_block(s);
668
669 if ((p1=(unsigned char *)OPENSSL_malloc(num)) == NULL)
670 {
671 OPENSSL_PUT_ERROR(SSL, tls1_setup_key_block, ERR_R_MALLOC_FAILURE);
672 goto err;
673 }
674
675 s->s3->tmp.key_block_length=num;
676 s->s3->tmp.key_block=p1;
677
678 if ((p2=(unsigned char *)OPENSSL_malloc(num)) == NULL)
679 {
680 OPENSSL_PUT_ERROR(SSL, tls1_setup_key_block, ERR_R_MALLOC_FAILURE);
681 goto err;
682 }
683
684#ifdef TLS_DEBUG
685printf("client random\n");
686{ int z; for (z=0; z<SSL3_RANDOM_SIZE; z++) printf("%02X%c",s->s3->client_random[z],((z+1)%16)?' ':'\n'); }
687printf("server random\n");
688{ int z; for (z=0; z<SSL3_RANDOM_SIZE; z++) printf("%02X%c",s->s3->server_random[z],((z+1)%16)?' ':'\n'); }
689printf("pre-master\n");
690{ int z; for (z=0; z<s->session->master_key_length; z++) printf("%02X%c",s->session->master_key[z],((z+1)%16)?' ':'\n'); }
691#endif
692 if (!tls1_generate_key_block(s,p1,p2,num))
693 goto err;
694#ifdef TLS_DEBUG
695printf("\nkey block\n");
696{ int z; for (z=0; z<num; z++) printf("%02X%c",p1[z],((z+1)%16)?' ':'\n'); }
697#endif
698
Adam Langleyd493d522014-06-20 12:00:00 -0700699 if (s->method->version <= TLS1_VERSION &&
700 (s->mode & SSL_MODE_CBC_RECORD_SPLITTING) != 0)
Adam Langley95c29f32014-06-20 12:00:00 -0700701 {
702 /* enable vulnerability countermeasure for CBC ciphers with
703 * known-IV problem (http://www.openssl.org/~bodo/tls-cbc.txt)
704 */
Adam Langleyd493d522014-06-20 12:00:00 -0700705 s->s3->need_record_splitting = 1;
Adam Langley95c29f32014-06-20 12:00:00 -0700706
707 if (s->session->cipher != NULL)
708 {
709 if (s->session->cipher->algorithm_enc == SSL_eNULL)
Adam Langleyd493d522014-06-20 12:00:00 -0700710 s->s3->need_record_splitting = 0;
Adam Langley95c29f32014-06-20 12:00:00 -0700711
712#ifndef OPENSSL_NO_RC4
713 if (s->session->cipher->algorithm_enc == SSL_RC4)
Adam Langleyd493d522014-06-20 12:00:00 -0700714 s->s3->need_record_splitting = 0;
Adam Langley95c29f32014-06-20 12:00:00 -0700715#endif
716 }
717 }
718
719 ret = 1;
720err:
721 if (p2)
722 {
723 OPENSSL_cleanse(p2,num);
724 OPENSSL_free(p2);
725 }
726 return(ret);
Adam Langleyc9fb3752014-06-20 12:00:00 -0700727
728cipher_unavailable_err:
729 OPENSSL_PUT_ERROR(SSL, tls1_setup_key_block, SSL_R_CIPHER_OR_HASH_UNAVAILABLE);
730 return 0;
Adam Langley95c29f32014-06-20 12:00:00 -0700731 }
732
733/* tls1_enc encrypts/decrypts the record in |s->wrec| / |s->rrec|, respectively.
734 *
735 * Returns:
736 * 0: (in non-constant time) if the record is publically invalid (i.e. too
737 * short etc).
738 * 1: if the record's padding is valid / the encryption was successful.
739 * -1: if the record's padding/AEAD-authenticator is invalid or, if sending,
740 * an internal error occured.
741 */
742int tls1_enc(SSL *s, int send)
743 {
744 SSL3_RECORD *rec;
745 EVP_CIPHER_CTX *ds;
746 unsigned long l;
747 int bs,i,j,k,pad=0,ret,mac_size=0;
748 const EVP_CIPHER *enc;
Adam Langleyc9fb3752014-06-20 12:00:00 -0700749 const SSL_AEAD_CTX *aead;
750
751 if (send)
752 rec = &s->s3->wrec;
753 else
754 rec = &s->s3->rrec;
755
756 if (send)
757 aead = s->aead_write_ctx;
758 else
759 aead = s->aead_read_ctx;
760
761 if (aead)
762 {
763 unsigned char ad[13], *seq, *in, *out, nonce[16];
764 unsigned nonce_used;
765 size_t n;
766
767 seq = send ? s->s3->write_sequence : s->s3->read_sequence;
768
769 if (s->version == DTLS1_VERSION || s->version == DTLS1_BAD_VER)
770 {
771 unsigned char dtlsseq[9], *p = dtlsseq;
772
773 s2n(send ? s->d1->w_epoch : s->d1->r_epoch, p);
774 memcpy(p, &seq[2], 6);
775 memcpy(ad, dtlsseq, 8);
776 }
777 else
778 {
779 memcpy(ad, seq, 8);
780 for (i=7; i>=0; i--) /* increment */
781 {
782 ++seq[i];
783 if (seq[i] != 0)
784 break;
785 }
786 }
787
788 ad[8] = rec->type;
789 ad[9] = (unsigned char)(s->version>>8);
790 ad[10] = (unsigned char)(s->version);
791
792 if (aead->fixed_nonce_len + aead->variable_nonce_len > sizeof(nonce) ||
793 aead->variable_nonce_len > 8)
794 return -1; /* internal error - should never happen. */
795
796 memcpy(nonce, aead->fixed_nonce, aead->fixed_nonce_len);
797 nonce_used = aead->fixed_nonce_len;
798
799 if (send)
800 {
801 size_t len = rec->length;
Adam Langleyde0b2022014-06-20 12:00:00 -0700802 size_t eivlen = 0;
Adam Langleyc9fb3752014-06-20 12:00:00 -0700803 in = rec->input;
804 out = rec->data;
805
806 /* When sending we use the sequence number as the
807 * variable part of the nonce. */
808 if (aead->variable_nonce_len > 8)
809 return -1;
810 memcpy(nonce + nonce_used, ad, aead->variable_nonce_len);
811 nonce_used += aead->variable_nonce_len;
812
813 /* in do_ssl3_write, rec->input is moved forward by
814 * variable_nonce_len in order to leave space for the
815 * variable nonce. Thus we can copy the sequence number
816 * bytes into place without overwriting any of the
817 * plaintext. */
Adam Langleyde0b2022014-06-20 12:00:00 -0700818 if (aead->variable_nonce_included_in_record)
819 {
820 memcpy(out, ad, aead->variable_nonce_len);
821 len -= aead->variable_nonce_len;
822 eivlen = aead->variable_nonce_len;
823 }
Adam Langleyc9fb3752014-06-20 12:00:00 -0700824
825 ad[11] = len >> 8;
826 ad[12] = len & 0xff;
827
828 if (!EVP_AEAD_CTX_seal(
829 &aead->ctx,
Adam Langleyde0b2022014-06-20 12:00:00 -0700830 out + eivlen, &n, len + aead->tag_len,
Adam Langleyc9fb3752014-06-20 12:00:00 -0700831 nonce, nonce_used,
Adam Langleyde0b2022014-06-20 12:00:00 -0700832 in + eivlen, len,
Adam Langleyc9fb3752014-06-20 12:00:00 -0700833 ad, sizeof(ad)))
834 {
835 return -1;
836 }
Adam Langleyde0b2022014-06-20 12:00:00 -0700837 if (aead->variable_nonce_included_in_record)
838 n += aead->variable_nonce_len;
Adam Langleyc9fb3752014-06-20 12:00:00 -0700839 }
840 else
841 {
842 /* receive */
843 size_t len = rec->length;
844
845 if (rec->data != rec->input)
846 return -1; /* internal error - should never happen. */
847 out = in = rec->input;
848
849 if (len < aead->variable_nonce_len)
850 return 0;
Adam Langleyde0b2022014-06-20 12:00:00 -0700851 memcpy(nonce + nonce_used,
852 aead->variable_nonce_included_in_record ? in : ad,
853 aead->variable_nonce_len);
Adam Langleyc9fb3752014-06-20 12:00:00 -0700854 nonce_used += aead->variable_nonce_len;
855
Adam Langleyde0b2022014-06-20 12:00:00 -0700856 if (aead->variable_nonce_included_in_record)
857 {
858 in += aead->variable_nonce_len;
859 len -= aead->variable_nonce_len;
860 out += aead->variable_nonce_len;
861 }
Adam Langleyc9fb3752014-06-20 12:00:00 -0700862
863 if (len < aead->tag_len)
864 return 0;
865 len -= aead->tag_len;
866
867 ad[11] = len >> 8;
868 ad[12] = len & 0xff;
869
870 if (!EVP_AEAD_CTX_open(
871 &aead->ctx,
872 out, &n, len,
873 nonce, nonce_used,
874 in, len + aead->tag_len,
875 ad, sizeof(ad)))
876 {
877 return -1;
878 }
879
880 rec->data = rec->input = out;
881 }
882
883 rec->length = n;
884 return 1;
885 }
Adam Langley95c29f32014-06-20 12:00:00 -0700886
887 if (send)
888 {
889 ds=s->enc_write_ctx;
890 rec= &(s->s3->wrec);
891 if (s->enc_write_ctx == NULL)
892 enc=NULL;
893 else
894 {
895 int ivlen;
896 enc=EVP_CIPHER_CTX_cipher(s->enc_write_ctx);
897 /* For TLSv1.1 and later explicit IV */
898 if (SSL_USE_EXPLICIT_IV(s)
899 && EVP_CIPHER_mode(enc) == EVP_CIPH_CBC_MODE)
900 ivlen = EVP_CIPHER_iv_length(enc);
901 else
902 ivlen = 0;
903 if (ivlen > 1)
904 {
905 if ( rec->data != rec->input)
906 /* we can't write into the input stream:
907 * Can this ever happen?? (steve)
908 */
909 fprintf(stderr,
910 "%s:%d: rec->data != rec->input\n",
911 __FILE__, __LINE__);
912 else if (RAND_bytes(rec->input, ivlen) <= 0)
913 return -1;
914 }
915 }
916 }
917 else
918 {
919 ds=s->enc_read_ctx;
920 rec= &(s->s3->rrec);
921 if (s->enc_read_ctx == NULL)
922 enc=NULL;
923 else
924 enc=EVP_CIPHER_CTX_cipher(s->enc_read_ctx);
925 }
926
927#ifdef KSSL_DEBUG
928 printf("tls1_enc(%d)\n", send);
929#endif /* KSSL_DEBUG */
930
931 if ((s->session == NULL) || (ds == NULL) || (enc == NULL))
932 {
933 memmove(rec->data,rec->input,rec->length);
934 rec->input=rec->data;
935 ret = 1;
936 }
937 else
938 {
939 l=rec->length;
940 bs=EVP_CIPHER_block_size(ds->cipher);
941
Victor Vasiliev508c29f2014-06-25 11:19:26 -0400942 if ((bs != 1) && send)
Adam Langley95c29f32014-06-20 12:00:00 -0700943 {
944 i=bs-((int)l%bs);
945
946 /* Add weird padding of upto 256 bytes */
947
948 /* we need to add 'i' padding bytes of value j */
949 j=i-1;
950 if (s->options & SSL_OP_TLS_BLOCK_PADDING_BUG)
951 {
952 if (s->s3->flags & TLS1_FLAGS_TLS_PADDING_BUG)
953 j++;
954 }
955 for (k=(int)l; k<(int)(l+i); k++)
956 rec->input[k]=j;
957 l+=i;
958 rec->length+=i;
959 }
960
961#ifdef KSSL_DEBUG
962 {
963 unsigned long ui;
964 printf("EVP_Cipher(ds=%p,rec->data=%p,rec->input=%p,l=%ld) ==>\n",
965 ds,rec->data,rec->input,l);
966 printf("\tEVP_CIPHER_CTX: %d buf_len, %d key_len [%d %d], %d iv_len\n",
967 ds->buf_len, ds->cipher->key_len,
968 DES_KEY_SZ, DES_SCHEDULE_SZ,
969 ds->cipher->iv_len);
970 printf("\t\tIV: ");
971 for (i=0; i<ds->cipher->iv_len; i++) printf("%02X", ds->iv[i]);
972 printf("\n");
973 printf("\trec->input=");
974 for (ui=0; ui<l; ui++) printf(" %02x", rec->input[ui]);
975 printf("\n");
976 }
977#endif /* KSSL_DEBUG */
978
979 if (!send)
980 {
981 if (l == 0 || l%bs != 0)
982 return 0;
983 }
984
985 i = EVP_Cipher(ds,rec->data,rec->input,l);
986 if ((EVP_CIPHER_flags(ds->cipher)&EVP_CIPH_FLAG_CUSTOM_CIPHER)
987 ?(i<0)
988 :(i==0))
989 return -1; /* AEAD can fail to verify MAC */
990 if (EVP_CIPHER_mode(enc) == EVP_CIPH_GCM_MODE && !send)
991 {
992 rec->data += EVP_GCM_TLS_EXPLICIT_IV_LEN;
993 rec->input += EVP_GCM_TLS_EXPLICIT_IV_LEN;
994 rec->length -= EVP_GCM_TLS_EXPLICIT_IV_LEN;
995 }
996
997#ifdef KSSL_DEBUG
998 {
999 unsigned long i;
1000 printf("\trec->data=");
1001 for (i=0; i<l; i++)
1002 printf(" %02x", rec->data[i]); printf("\n");
1003 }
1004#endif /* KSSL_DEBUG */
1005
1006 ret = 1;
1007 if (EVP_MD_CTX_md(s->read_hash) != NULL)
1008 mac_size = EVP_MD_CTX_size(s->read_hash);
1009 if ((bs != 1) && !send)
1010 ret = tls1_cbc_remove_padding(s, rec, bs, mac_size);
1011 if (pad && !send)
1012 rec->length -= pad;
1013 }
1014 return ret;
1015 }
1016
1017int tls1_cert_verify_mac(SSL *s, int md_nid, unsigned char *out)
1018 {
1019 unsigned int ret;
1020 EVP_MD_CTX ctx, *d=NULL;
1021 int i;
1022
1023 if (s->s3->handshake_buffer)
1024 if (!ssl3_digest_cached_records(s))
1025 return 0;
1026
1027 for (i=0;i<SSL_MAX_DIGEST;i++)
1028 {
1029 if (s->s3->handshake_dgst[i]&&EVP_MD_CTX_type(s->s3->handshake_dgst[i])==md_nid)
1030 {
1031 d=s->s3->handshake_dgst[i];
1032 break;
1033 }
1034 }
1035 if (!d) {
1036 OPENSSL_PUT_ERROR(SSL, tls1_cert_verify_mac, SSL_R_NO_REQUIRED_DIGEST);
1037 return 0;
1038 }
1039
1040 EVP_MD_CTX_init(&ctx);
1041 EVP_MD_CTX_copy_ex(&ctx,d);
1042 EVP_DigestFinal_ex(&ctx,out,&ret);
1043 EVP_MD_CTX_cleanup(&ctx);
1044 return((int)ret);
1045 }
1046
Adam Langley1258b6a2014-06-20 12:00:00 -07001047/* tls1_handshake_digest calculates the current handshake hash and writes it to
1048 * |out|, which has space for |out_len| bytes. It returns the number of bytes
1049 * written or -1 in the event of an error. This function works on a copy of the
1050 * underlying digests so can be called multiple times and prior to the final
1051 * update etc. */
1052int tls1_handshake_digest(SSL *s, unsigned char *out, size_t out_len)
Adam Langley95c29f32014-06-20 12:00:00 -07001053 {
Adam Langley1258b6a2014-06-20 12:00:00 -07001054 const EVP_MD *md;
Adam Langley95c29f32014-06-20 12:00:00 -07001055 EVP_MD_CTX ctx;
Adam Langley1258b6a2014-06-20 12:00:00 -07001056 int i, err = 0, len = 0;
Adam Langley95c29f32014-06-20 12:00:00 -07001057 long mask;
Adam Langley95c29f32014-06-20 12:00:00 -07001058
1059 EVP_MD_CTX_init(&ctx);
1060
Adam Langley1258b6a2014-06-20 12:00:00 -07001061 for (i = 0; ssl_get_handshake_digest(i, &mask, &md); i++)
Adam Langley95c29f32014-06-20 12:00:00 -07001062 {
Adam Langley1258b6a2014-06-20 12:00:00 -07001063 int hash_size;
1064 unsigned int digest_len;
1065 EVP_MD_CTX *hdgst = s->s3->handshake_dgst[i];
1066
1067 if ((mask & ssl_get_algorithm2(s)) == 0)
1068 continue;
1069
1070 hash_size = EVP_MD_size(md);
1071 if (!hdgst || hash_size < 0 || (size_t)hash_size > out_len)
Adam Langley95c29f32014-06-20 12:00:00 -07001072 {
Adam Langley1258b6a2014-06-20 12:00:00 -07001073 err = 1;
1074 break;
Adam Langley95c29f32014-06-20 12:00:00 -07001075 }
Adam Langley1258b6a2014-06-20 12:00:00 -07001076
1077 if (!EVP_MD_CTX_copy_ex(&ctx, hdgst) ||
1078 !EVP_DigestFinal_ex(&ctx, out, &digest_len) ||
1079 digest_len != (unsigned int)hash_size) /* internal error */
1080 {
1081 err = 1;
1082 break;
1083 }
1084 out += digest_len;
1085 out_len -= digest_len;
1086 len += digest_len;
1087 }
1088
1089 EVP_MD_CTX_cleanup(&ctx);
1090
1091 if (err != 0)
1092 return -1;
1093 return len;
1094 }
1095
1096int tls1_final_finish_mac(SSL *s,
1097 const char *str, int slen, unsigned char *out)
1098 {
1099 unsigned char buf[2*EVP_MAX_MD_SIZE];
1100 unsigned char buf2[12];
1101 int err=0;
1102 int digests_len;
1103
1104 if (s->s3->handshake_buffer)
1105 if (!ssl3_digest_cached_records(s))
1106 return 0;
1107
1108 digests_len = tls1_handshake_digest(s, buf, sizeof(buf));
1109 if (digests_len < 0)
1110 {
1111 err = 1;
1112 digests_len = 0;
Adam Langley95c29f32014-06-20 12:00:00 -07001113 }
1114
1115 if (!tls1_PRF(ssl_get_algorithm2(s),
Adam Langley1258b6a2014-06-20 12:00:00 -07001116 str,slen, buf, digests_len, NULL,0, NULL,0, NULL,0,
Adam Langley95c29f32014-06-20 12:00:00 -07001117 s->session->master_key,s->session->master_key_length,
1118 out,buf2,sizeof buf2))
1119 err = 1;
Adam Langley95c29f32014-06-20 12:00:00 -07001120
1121 if (err)
1122 return 0;
1123 else
1124 return sizeof buf2;
1125 }
1126
1127int tls1_mac(SSL *ssl, unsigned char *md, int send)
1128 {
1129 SSL3_RECORD *rec;
1130 unsigned char *seq;
1131 EVP_MD_CTX *hash;
1132 size_t md_size, orig_len;
1133 int i;
1134 EVP_MD_CTX hmac, *mac_ctx;
1135 unsigned char header[13];
1136 int stream_mac = (send?(ssl->mac_flags & SSL_MAC_FLAG_WRITE_MAC_STREAM):(ssl->mac_flags&SSL_MAC_FLAG_READ_MAC_STREAM));
1137 int t;
1138
1139 if (send)
1140 {
1141 rec= &(ssl->s3->wrec);
1142 seq= &(ssl->s3->write_sequence[0]);
1143 hash=ssl->write_hash;
1144 }
1145 else
1146 {
1147 rec= &(ssl->s3->rrec);
1148 seq= &(ssl->s3->read_sequence[0]);
1149 hash=ssl->read_hash;
1150 }
1151
1152 t=EVP_MD_CTX_size(hash);
1153 assert(t >= 0);
1154 md_size=t;
1155
1156 /* I should fix this up TLS TLS TLS TLS TLS XXXXXXXX */
1157 if (stream_mac)
1158 {
1159 mac_ctx = hash;
1160 }
1161 else
1162 {
Adam Langley9f61d7f2014-06-20 12:00:00 -07001163 if (!EVP_MD_CTX_copy(&hmac,hash))
1164 return -1;
Adam Langley95c29f32014-06-20 12:00:00 -07001165 mac_ctx = &hmac;
1166 }
1167
1168 if (SSL_IS_DTLS(ssl))
1169 {
1170 unsigned char dtlsseq[8],*p=dtlsseq;
1171
1172 s2n(send?ssl->d1->w_epoch:ssl->d1->r_epoch, p);
1173 memcpy (p,&seq[2],6);
1174
1175 memcpy(header, dtlsseq, 8);
1176 }
1177 else
1178 memcpy(header, seq, 8);
1179
1180 /* kludge: tls1_cbc_remove_padding passes padding length in rec->type */
1181 orig_len = rec->length+md_size+((unsigned int)rec->type>>8);
1182 rec->type &= 0xff;
1183
1184 header[8]=rec->type;
1185 header[9]=(unsigned char)(ssl->version>>8);
1186 header[10]=(unsigned char)(ssl->version);
1187 header[11]=(rec->length)>>8;
1188 header[12]=(rec->length)&0xff;
1189
1190 if (!send &&
1191 EVP_CIPHER_CTX_mode(ssl->enc_read_ctx) == EVP_CIPH_CBC_MODE &&
1192 ssl3_cbc_record_digest_supported(mac_ctx))
1193 {
1194 /* This is a CBC-encrypted record. We must avoid leaking any
1195 * timing-side channel information about how many blocks of
1196 * data we are hashing because that gives an attacker a
1197 * timing-oracle. */
1198 ssl3_cbc_digest_record(
1199 mac_ctx,
1200 md, &md_size,
1201 header, rec->input,
1202 rec->length + md_size, orig_len,
1203 ssl->s3->read_mac_secret,
1204 ssl->s3->read_mac_secret_size,
1205 0 /* not SSLv3 */);
1206 }
1207 else
1208 {
1209 EVP_DigestSignUpdate(mac_ctx,header,sizeof(header));
1210 EVP_DigestSignUpdate(mac_ctx,rec->input,rec->length);
1211 t=EVP_DigestSignFinal(mac_ctx,md,&md_size);
1212 assert(t > 0);
1213#ifdef OPENSSL_FIPS
1214 if (!send && FIPS_mode())
1215 tls_fips_digest_extra(
1216 ssl->enc_read_ctx,
1217 mac_ctx, rec->input,
1218 rec->length, orig_len);
1219#endif
1220 }
1221
1222 if (!stream_mac)
1223 EVP_MD_CTX_cleanup(&hmac);
1224#ifdef TLS_DEBUG
1225printf("sec=");
1226{unsigned int z; for (z=0; z<md_size; z++) printf("%02X ",mac_sec[z]); printf("\n"); }
1227printf("seq=");
1228{int z; for (z=0; z<8; z++) printf("%02X ",seq[z]); printf("\n"); }
1229printf("buf=");
1230{int z; for (z=0; z<5; z++) printf("%02X ",buf[z]); printf("\n"); }
1231printf("rec=");
1232{unsigned int z; for (z=0; z<rec->length; z++) printf("%02X ",buf[z]); printf("\n"); }
1233#endif
1234
1235 if (!SSL_IS_DTLS(ssl))
1236 {
1237 for (i=7; i>=0; i--)
1238 {
1239 ++seq[i];
1240 if (seq[i] != 0) break;
1241 }
1242 }
1243
1244#ifdef TLS_DEBUG
1245{unsigned int z; for (z=0; z<md_size; z++) printf("%02X ",md[z]); printf("\n"); }
1246#endif
1247 return(md_size);
1248 }
1249
1250int tls1_generate_master_secret(SSL *s, unsigned char *out, unsigned char *p,
1251 int len)
1252 {
1253 unsigned char buff[SSL_MAX_MASTER_KEY_LENGTH];
1254 const void *co = NULL, *so = NULL;
1255 int col = 0, sol = 0;
1256
1257
1258#ifdef KSSL_DEBUG
1259 printf ("tls1_generate_master_secret(%p,%p, %p, %d)\n", s,out, p,len);
1260#endif /* KSSL_DEBUG */
1261
1262#ifdef TLSEXT_TYPE_opaque_prf_input
1263 if (s->s3->client_opaque_prf_input != NULL && s->s3->server_opaque_prf_input != NULL &&
1264 s->s3->client_opaque_prf_input_len > 0 &&
1265 s->s3->client_opaque_prf_input_len == s->s3->server_opaque_prf_input_len)
1266 {
1267 co = s->s3->client_opaque_prf_input;
1268 col = s->s3->server_opaque_prf_input_len;
1269 so = s->s3->server_opaque_prf_input;
1270 sol = s->s3->client_opaque_prf_input_len; /* must be same as col (see draft-rescorla-tls-opaque-prf-input-00.txt, section 3.1) */
1271 }
1272#endif
1273
1274 tls1_PRF(ssl_get_algorithm2(s),
1275 TLS_MD_MASTER_SECRET_CONST,TLS_MD_MASTER_SECRET_CONST_SIZE,
1276 s->s3->client_random,SSL3_RANDOM_SIZE,
1277 co, col,
1278 s->s3->server_random,SSL3_RANDOM_SIZE,
1279 so, sol,
1280 p,len,
1281 s->session->master_key,buff,sizeof buff);
1282#ifdef SSL_DEBUG
1283 fprintf(stderr, "Premaster Secret:\n");
1284 BIO_dump_fp(stderr, (char *)p, len);
1285 fprintf(stderr, "Client Random:\n");
1286 BIO_dump_fp(stderr, (char *)s->s3->client_random, SSL3_RANDOM_SIZE);
1287 fprintf(stderr, "Server Random:\n");
1288 BIO_dump_fp(stderr, (char *)s->s3->server_random, SSL3_RANDOM_SIZE);
1289 fprintf(stderr, "Master Secret:\n");
1290 BIO_dump_fp(stderr, (char *)s->session->master_key, SSL3_MASTER_SECRET_SIZE);
1291#endif
1292
1293#ifdef OPENSSL_SSL_TRACE_CRYPTO
1294 if (s->msg_callback)
1295 {
1296 s->msg_callback(2, s->version, TLS1_RT_CRYPTO_PREMASTER,
1297 p, len, s, s->msg_callback_arg);
1298 s->msg_callback(2, s->version, TLS1_RT_CRYPTO_CLIENT_RANDOM,
1299 s->s3->client_random, SSL3_RANDOM_SIZE,
1300 s, s->msg_callback_arg);
1301 s->msg_callback(2, s->version, TLS1_RT_CRYPTO_SERVER_RANDOM,
1302 s->s3->server_random, SSL3_RANDOM_SIZE,
1303 s, s->msg_callback_arg);
1304 s->msg_callback(2, s->version, TLS1_RT_CRYPTO_MASTER,
1305 s->session->master_key,
1306 SSL3_MASTER_SECRET_SIZE,
1307 s, s->msg_callback_arg);
1308 }
1309#endif
1310
1311#ifdef KSSL_DEBUG
1312 printf ("tls1_generate_master_secret() complete\n");
1313#endif /* KSSL_DEBUG */
1314 return(SSL3_MASTER_SECRET_SIZE);
1315 }
1316
1317int tls1_export_keying_material(SSL *s, unsigned char *out, size_t olen,
1318 const char *label, size_t llen, const unsigned char *context,
1319 size_t contextlen, int use_context)
1320 {
1321 unsigned char *buff;
1322 unsigned char *val = NULL;
1323 size_t vallen, currentvalpos;
1324 int rv;
1325
1326#ifdef KSSL_DEBUG
1327 printf ("tls1_export_keying_material(%p,%p,%d,%s,%d,%p,%d)\n", s, out, olen, label, llen, p, plen);
1328#endif /* KSSL_DEBUG */
1329
1330 buff = OPENSSL_malloc(olen);
1331 if (buff == NULL) goto err2;
1332
1333 /* construct PRF arguments
1334 * we construct the PRF argument ourself rather than passing separate
1335 * values into the TLS PRF to ensure that the concatenation of values
1336 * does not create a prohibited label.
1337 */
1338 vallen = llen + SSL3_RANDOM_SIZE * 2;
1339 if (use_context)
1340 {
1341 vallen += 2 + contextlen;
1342 }
1343
1344 val = OPENSSL_malloc(vallen);
1345 if (val == NULL) goto err2;
1346 currentvalpos = 0;
1347 memcpy(val + currentvalpos, (unsigned char *) label, llen);
1348 currentvalpos += llen;
1349 memcpy(val + currentvalpos, s->s3->client_random, SSL3_RANDOM_SIZE);
1350 currentvalpos += SSL3_RANDOM_SIZE;
1351 memcpy(val + currentvalpos, s->s3->server_random, SSL3_RANDOM_SIZE);
1352 currentvalpos += SSL3_RANDOM_SIZE;
1353
1354 if (use_context)
1355 {
1356 val[currentvalpos] = (contextlen >> 8) & 0xff;
1357 currentvalpos++;
1358 val[currentvalpos] = contextlen & 0xff;
1359 currentvalpos++;
1360 if ((contextlen > 0) || (context != NULL))
1361 {
1362 memcpy(val + currentvalpos, context, contextlen);
1363 }
1364 }
1365
1366 /* disallow prohibited labels
1367 * note that SSL3_RANDOM_SIZE > max(prohibited label len) =
1368 * 15, so size of val > max(prohibited label len) = 15 and the
1369 * comparisons won't have buffer overflow
1370 */
1371 if (memcmp(val, TLS_MD_CLIENT_FINISH_CONST,
1372 TLS_MD_CLIENT_FINISH_CONST_SIZE) == 0) goto err1;
1373 if (memcmp(val, TLS_MD_SERVER_FINISH_CONST,
1374 TLS_MD_SERVER_FINISH_CONST_SIZE) == 0) goto err1;
1375 if (memcmp(val, TLS_MD_MASTER_SECRET_CONST,
1376 TLS_MD_MASTER_SECRET_CONST_SIZE) == 0) goto err1;
1377 if (memcmp(val, TLS_MD_KEY_EXPANSION_CONST,
1378 TLS_MD_KEY_EXPANSION_CONST_SIZE) == 0) goto err1;
1379
Adam Langleycaddf1c2014-06-20 12:00:00 -07001380 rv = tls1_PRF(ssl_get_algorithm2(s),
Adam Langley95c29f32014-06-20 12:00:00 -07001381 val, vallen,
1382 NULL, 0,
1383 NULL, 0,
1384 NULL, 0,
1385 NULL, 0,
1386 s->session->master_key,s->session->master_key_length,
1387 out,buff,olen);
1388
1389#ifdef KSSL_DEBUG
1390 printf ("tls1_export_keying_material() complete\n");
1391#endif /* KSSL_DEBUG */
1392 goto ret;
1393err1:
1394 OPENSSL_PUT_ERROR(SSL, tls1_export_keying_material, SSL_R_TLS_ILLEGAL_EXPORTER_LABEL);
1395 rv = 0;
1396 goto ret;
1397err2:
1398 OPENSSL_PUT_ERROR(SSL, tls1_export_keying_material, ERR_R_MALLOC_FAILURE);
1399 rv = 0;
1400ret:
1401 if (buff != NULL) OPENSSL_free(buff);
1402 if (val != NULL) OPENSSL_free(val);
1403 return(rv);
1404 }
1405
1406int tls1_alert_code(int code)
1407 {
1408 switch (code)
1409 {
1410 case SSL_AD_CLOSE_NOTIFY: return(SSL3_AD_CLOSE_NOTIFY);
1411 case SSL_AD_UNEXPECTED_MESSAGE: return(SSL3_AD_UNEXPECTED_MESSAGE);
1412 case SSL_AD_BAD_RECORD_MAC: return(SSL3_AD_BAD_RECORD_MAC);
1413 case SSL_AD_DECRYPTION_FAILED: return(TLS1_AD_DECRYPTION_FAILED);
1414 case SSL_AD_RECORD_OVERFLOW: return(TLS1_AD_RECORD_OVERFLOW);
1415 case SSL_AD_DECOMPRESSION_FAILURE:return(SSL3_AD_DECOMPRESSION_FAILURE);
1416 case SSL_AD_HANDSHAKE_FAILURE: return(SSL3_AD_HANDSHAKE_FAILURE);
1417 case SSL_AD_NO_CERTIFICATE: return(-1);
1418 case SSL_AD_BAD_CERTIFICATE: return(SSL3_AD_BAD_CERTIFICATE);
1419 case SSL_AD_UNSUPPORTED_CERTIFICATE:return(SSL3_AD_UNSUPPORTED_CERTIFICATE);
1420 case SSL_AD_CERTIFICATE_REVOKED:return(SSL3_AD_CERTIFICATE_REVOKED);
1421 case SSL_AD_CERTIFICATE_EXPIRED:return(SSL3_AD_CERTIFICATE_EXPIRED);
1422 case SSL_AD_CERTIFICATE_UNKNOWN:return(SSL3_AD_CERTIFICATE_UNKNOWN);
1423 case SSL_AD_ILLEGAL_PARAMETER: return(SSL3_AD_ILLEGAL_PARAMETER);
1424 case SSL_AD_UNKNOWN_CA: return(TLS1_AD_UNKNOWN_CA);
1425 case SSL_AD_ACCESS_DENIED: return(TLS1_AD_ACCESS_DENIED);
1426 case SSL_AD_DECODE_ERROR: return(TLS1_AD_DECODE_ERROR);
1427 case SSL_AD_DECRYPT_ERROR: return(TLS1_AD_DECRYPT_ERROR);
1428 case SSL_AD_EXPORT_RESTRICTION: return(TLS1_AD_EXPORT_RESTRICTION);
1429 case SSL_AD_PROTOCOL_VERSION: return(TLS1_AD_PROTOCOL_VERSION);
1430 case SSL_AD_INSUFFICIENT_SECURITY:return(TLS1_AD_INSUFFICIENT_SECURITY);
1431 case SSL_AD_INTERNAL_ERROR: return(TLS1_AD_INTERNAL_ERROR);
1432 case SSL_AD_USER_CANCELLED: return(TLS1_AD_USER_CANCELLED);
1433 case SSL_AD_NO_RENEGOTIATION: return(TLS1_AD_NO_RENEGOTIATION);
1434 case SSL_AD_UNSUPPORTED_EXTENSION: return(TLS1_AD_UNSUPPORTED_EXTENSION);
1435 case SSL_AD_CERTIFICATE_UNOBTAINABLE: return(TLS1_AD_CERTIFICATE_UNOBTAINABLE);
1436 case SSL_AD_UNRECOGNIZED_NAME: return(TLS1_AD_UNRECOGNIZED_NAME);
1437 case SSL_AD_BAD_CERTIFICATE_STATUS_RESPONSE: return(TLS1_AD_BAD_CERTIFICATE_STATUS_RESPONSE);
1438 case SSL_AD_BAD_CERTIFICATE_HASH_VALUE: return(TLS1_AD_BAD_CERTIFICATE_HASH_VALUE);
1439 case SSL_AD_UNKNOWN_PSK_IDENTITY:return(TLS1_AD_UNKNOWN_PSK_IDENTITY);
Adam Langley29707792014-06-20 12:00:00 -07001440 case SSL_AD_INAPPROPRIATE_FALLBACK:return(SSL3_AD_INAPPROPRIATE_FALLBACK);
Adam Langley95c29f32014-06-20 12:00:00 -07001441#if 0 /* not appropriate for TLS, not used for DTLS */
1442 case DTLS1_AD_MISSING_HANDSHAKE_MESSAGE: return
1443 (DTLS1_AD_MISSING_HANDSHAKE_MESSAGE);
1444#endif
1445 default: return(-1);
1446 }
1447 }